This commits makes some λMC rules atomic, in the sense that the user
can use the shared resources for the duration of the rule.