Add missing trivial clauses to record rewriter
A test case for empty receive block
Merge pull request #1055 from alco/record-rewriter-fix

Add missing trivial clauses to record rewriter