update of ternary
added full expression of assignment is subtype of lhs