started an implementation of State for my intraprocedural analyzer