add vernier cases in s_computationalEquivalence