Take constraints into account when checking for VAR assignability.