added backward pruning in SpaceEx