Replace the Preconditions occurrences by assertions (issue #6).