This MR is a follow up of !979 (merged).
Always preferring the projections is similar to the way we use
This MR also adjusts the
subG instance to use
lockG instead of
spin_lockG, and tests that the conditions are resolved automatically when using adequacy.
TODO: I have only done this for spin lock, the same remains to be done for ticket lock, rw lock, atomic heap.