Questions for case in the right hand side of a constrained assignment