Correctness checking for Contraction 45 is now working