Date created:
-------------
26 Mar 2025

Name
-----
Base_alternate_prop_aggregation_violation

Changes
-------
Created a constraint for RM-at-SUP_B in the first week.
