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
(
)