this test is only needed for interprocedural view