Solving the Compiler Optimisation Case with GROOVE