Extract the local variables (assumptions) from a proof state