Tested intraprocedural analysis