[Red] New examples make the program crash.

  error -> tc-tdiag: missing rule: Diag_.VarAccess.lhs.ty