test: different semantics of sylvan_sat_one_bdd was causing test errors
test: different semantics of sylvan_sat_one_bdd was causing test errors

trolando/sylvan,trolando/sylvan,Meijuh/sylvan,utwente-fmt/sylvan,utwente-fmt/sylvan,bernied/sylvan,Meijuh/sylvan,bernied/sylvan