Added is_leave() to Instruction. Also added is_leave to is_any_return()
	to correspond to is_enter() being in is_any_call().