Repository containing the examples and scripts for the experiments belonging to the paper "Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction"