added SUBSUMPTION_SPACE/SUBSUMPTION_TIME macros