Member predicate Definition::isCertain

Holds if this definition is guaranteed to totally overwrite the buffer being written to.