def test_satex(): assert load_sat(SAT_F5_1).equivalent(F5)
def test_satx(): assert load_sat(SAT_F3_1).equivalent(F3)
def test_sate(): assert load_sat(SAT_F4_1).equivalent(F4)
def test_sat(): assert load_sat(SAT_F1_1).equivalent(F1) assert load_sat(SAT_F2_1).equivalent(F2)