Simplify handling of Assignable variables: they are not constants.

Another pass could change them to not assigned if they are effectively not assigned.