Use fundeps on Rollback and Snapshot to resolve ambiguity and enforce the desired semantics