public void deactivateContext(REXClassExpressionImpl context){
		context.isActiveContext.set(false);
		if(context.satisfiable && !context.emptySchedule())
		{
			addActiveContext(context);
		}
//		else if(context.satisfiable && !context.localSchedule.isEmpty())
//			addActiveContext(context);
	}