Proof of concept - Implement reverting in terms of xform