No matches were found for subject:"\[GHC\] #4414\: scc001 fails\: one SCC entered 0 times; another not mentioned when optimisation is on"