Support for SMTInterpol (bundled into JKind)