time pruning with SpaceEx implemented
We add an additional variable for time and project the reachable states to this variable.