Member predicate AssignableDefinition :: isCertain
Holds if this definition is guaranteed to update the targeted assignable.
The only potentially uncertain definitions are ref
assignments.
predicate
isCertain
(
)