Switch to using @label for all call methods
Mark the result handler for a impersonated procedures as non-loops
Remove redundant mark_non_loop call