fixed clause generation in receive
Merge pull request #65 from vejmelkam/fix-receive-clause-generation

fixed clause generation in receive