Refactoring "then" commitments
Adding the "and" nested commitment
Refactoring commitments call hierarchy