A Transformational Proof System for Delta-Oriented Programming