Candidates for smtlib2

Delete All Candidates