Some utilities for SMTLIBv2 format