move stateSpaceReduction from 2012 to 2009