private void substituteVar(Variable v, Variable newV){
		// Goes throw each predicate in addList substituting the variable "v" by "newV"
		for(int j = 0; j < addList.size(); j++){
			Predicate p = addList.get(j);
			addList.remove(j);
			int pos = p.hasVariable(v);
			if(pos != -1){
				p.replaceVariable(newV, pos);
			}
			addList.add(j, p);
		}
		
		// Goes throw each predicate in deleteList substituting the variable "v" by "newV"
		for(int j = 0; j < deleteList.size(); j++){
			Predicate p = deleteList.get(j);
			deleteList.remove(j);
			int pos = p.hasVariable(v);
			if(pos != -1){
				p.replaceVariable(newV, pos);
			}
			deleteList.add(j, p);
		}
		
		// Goes throw each predicate in precList substituting the variable "v" by "newV"
		for(int j = 0; j < precList.size(); j++){
			Predicate p = precList.get(j);
			precList.remove(j);
			int pos = p.hasVariable(v);
			if(pos != -1){
				p.replaceVariable(newV, pos);
			}
			precList.add(j, p);
		}
		
	}