intraprocedural analyzer - it compiles but doesn't do anything