methodcalls should not modify a method body, but it should be recursive to handle a(b())