As the title implies, I am looking for a good, simple, single word antonym of "assume". Alternatively, if no good antonym exists that satisfies the requirements below, I am also open to suggestions for a synonym of "assume" and its antonym.
EDIT: the definition of "assume" here is that of "belief".
The specific context is as a function name in a programming language, where the user can, for instance,
assume X is zero. The antonym must follow the same pattern, i. e.,
_ X is zero and ideally be an "obvious" partner, i. e., when reading it should be clear to most people that it undoes the assumption.
EDIT: this is for symbolic manipulation, not a variable binding. Assuming
X is zero is a very different concept from binding
X to a value that is zero—the latter is a much stronger assumption. This is also not an assertion, i. e., checking whether the assumption holds. In all the cases I have encountered in the literature, the antonym is either always implicit, or negated by use of something akin to "if we no longer assume X".
I looked in a thesaurus, and the only good candidate I could find was "forget". The problem with this word is that I don't think it is immediately clear that it undoes an assumption, and I would struggle to remember it (ironically). Another word that I have considered is, "unassume". It is not in any dictionary, but I think it is fairly obvious from the context what it means, and I find it memorable.