pub fn step_on_temporary( op: Temporary, stack: &mut Stack, memory: &mut Memory, ) -> OpResult<()>
Step forward constraint checking by the given temporary operation.