Candidates for smt2-parser

Delete All Candidates