First version of the smt-lib v2 parser clean of conflicts