Tag: conformal logic equivalence checking