Exception bad_optional_access thrown in MantleBarrierConverter::Convert
In the main loop of the function MantleBarrierConverter::Convert the boundaries are not checked, leading to exceptions if the map definitions are not correct. The map might need to be validated or the boundaries checked to avoid this kind of issue.