rewrite: re-add lost sidecondition

Removing this was not intentional.