Predicate Make::uncertainWriteDefinitionInput

NB: If this predicate is exposed, it should be cached.

Holds if inp is an immediately preceding definition of uncertain definition def. Since def is uncertain, the value from the preceding definition might still be valid.