TODO: Methods must pop their own formals