if(consp(expr)){
			if(consp(lhs((Cons) expr)) && consp(rhs((Cons) expr))){
				return union(vars(lhs((Cons) expr)), vars(rhs((Cons) expr)));
			}else if(!consp(lhs ((Cons) expr)) && consp(rhs((Cons) expr))){
				if(stringp(lhs((Cons) expr))){
					Cons result = list(lhs((Cons) expr));
					return union(vars(rhs((Cons) expr)), result);
				}else{
					return vars(rhs((Cons) expr));
				}
			}else{
				if(stringp(rhs((Cons) expr))){
					Cons result = list(rhs((Cons) expr));
					return union(vars(lhs((Cons) expr)), result);
				}else{
					return vars(lhs((Cons) expr));
				}
			}
		}else{
			if (expr instanceof String){
				Cons result = list(expr);
				return result;
			}else{
				return null;
			}
		}