make the set_safir_test_properties function better
make dots test cpp pass