ambiguity_sat_inclusion2 implementation, basic testing