Reduce vars footprint in case/receive clauses
Fix unused vars warnings