Revert "id's barriers, error rBackBarrier undeclared"

This reverts commit 4082cd68a57b047bd74c21997b1e13496b1b828d.

Conflicts:
	mcrl2/bridge.mcrl2
Fix receiveLocks
Create two instances of lock, without some general locks process.