Small multi-sorted theory in SNARK for DCEC*.