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

This reverts commit fd4c564504f0178d3a97c25e4a7950becc45c7b6.