Add the option not to precondition