public void addActiveContext(REXClassExpressionImpl context){
//		if(context instanceof REL2DataRange)
//			return;
		if(context.isActiveContext.compareAndSet(false, true))
		{
			activecontexts.add(context);
			if(context.isContext.compareAndSet(false, true))
			{
				factory.contexts.add(context);
				REXSubClassOfImpl	axiom = factory.getREXSubClassOf(context, context);
//				if(axiom.LHSQueue.compareAndSet(false, true))
				{
				addToActiveContext(axiom);
				if(factory.top.originalLHS)
				{
					axiom = factory.getREXSubClassOf(context, factory.top);
					addToActiveContext(axiom);
				}
				}
			}
		}
	}