Method on_if_user_recursion

1) handle `if ($x instanceof A)`, replace $x with a temp var inside its body 2) handle `if (!($x instanceof A)) return`, replace $x with a temp var till the end of function