Add missing trivial clauses to record rewriter

Maybe fixes #1054. We don't have a way to have tests for this yet, do we?