Add SMTLIB Grammar