static private boolean containsLiteral(List<Literal> litList, Literal literal){
        for (Literal thisLiteral: litList){
            if(thisLiteral.equals(literal))
                return true;
        }
        return false;
    }