Member predicate Ssa::UncertainDefinition::getPriorDefinition

Gets the immediately preceding definition. Since this update is uncertain, the value from the preceding definition might still be valid.