let help =
         "Pretend function calls that would be recursive do not happen. Causes unsoundness"