Stable and correct version of 2PC based on spec. refinement

This version use a trace spec that is based on refinement of a base spec.
It introduce an optimization when the user specify the expected action name when he commit changes.