SH_RESOLVED
apx->type==SH_RESOLVED ||
apy->type==SH_RESOLVED ||
case SH_RESOLVED:
apx->type = SH_RESOLVED;