[Wikitech-l] RFC: assertion of pre- and postconditions