Interprocedural: support for methods without a body