moved the most recent mcrl representation 'BarrierBridge.mcrl2' in validation to the root