`val remove_locals_ret : InferIR.Tenv.t ‑> InferIR.Procdesc.t ‑> InferModules.Prop.normal InferModules.Prop.t ‑> InferModules.Prop.normal InferModules.Prop.t`

remove locals and return variable from the prop

`val remove_locals_formals : InferIR.Tenv.t ‑> InferIR.Procdesc.t ‑> InferModules.Prop.normal InferModules.Prop.t ‑> InferIR.Pvar.t list * InferModules.Prop.normal InferModules.Prop.t`

Deallocate the stack variables in `pvars`, and replace them by normal variables. Return the list of stack variables whose address was still present after deallocation.

`val remove_seed_vars : InferIR.Tenv.t ‑> 'a InferModules.Prop.t ‑> InferModules.Prop.normal InferModules.Prop.t`

remove seed vars from a prop