resolve package error in stateSpaceReduction