Added one special attribute for assumes in function pointer dispatch procs
Added one special attribute for assumes in function pointer dispatch procs

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