Fix: add rule ensuring #1258 is fixed by recent rewrite (fixes #1258)