Before revision: Repairing these languages to fail fast when commonly assumed properties do not hold , makes it much easier to write and verify correct code.
After revision: Repairing these languages to fail fast when commonly assumed properties do not hold makes it much easier to write and verify correct code.