Change better-assert for preconditions