removed deleted state constraints from analysis