Stefano Bonicatti
auto example_constraints_1 = context.constraints["EXAMPLE_VARIABLE_1"].getAll(EQUALS); auto example_constraints_2 = context.constraints["EXAMPLE_VARIABLE_2"].getAll(EQUALS);