minip4_solution and minip4_solution-mirror are now the same besides variable renaming.
Checkout the plan