Towards a method of programming with assertions | Synapse