AV: more smackInst fix for trace nesting and using FPAlias to filter fptr targets
AV: more smackInst fix for trace nesting and using FPAlias to filter fptr targets

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral