Add 'fail' to Preconditions.