Member predicate Ssa::WriteDefinition::assigns

Holds if this SSA definition represents a direct assignment of value to the underlying variable.