Improve expected pattern to have e.g. `// Expect: Refinement Error` or similar instead of just `Refinement Error`.