Derive Eq, Num and Show instances for SMTLib2.(Option InfoFlag Command Script)
Add missing get-assignment command (CmdGetAssignment)