Member predicate Ssa::WriteDefinition::assigns

Holds if this SSA definition assigns value to the underlying variable.

This is either the value in a direct assignment, x = value, or in a let statement, let x = value. Note that patterns on the lhs. are currently not supported.