separated formals and locals in methodinfo