100.0.2. Where the parties have settled a grievance before it has been referred to arbitration and one of the parties refuses to give effect to the settlement reached, the other party may refer the grievance to arbitration notwithstanding any agreement to the contrary and notwithstanding the expiry of the periods provided for in sections 71 and 100.0.1 or in the collective agreement.