Use alias analysis to prune away dispatch for unassigned function pointers
Use alias analysis to prune away dispatch for unassigned function pointers

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