Adjusted prediff for crash1callDestructorsMain.
Compilation for this future may fail in different ways,
explainable by what we believe is memory corruption in the compiler.
This commit allows clean match against .bad in the two failure outcomes
that we observe in our nightly testing.