sources/0203_assign_expr2.c:5.0-9: [|x-30=0|]
Output: [|y-16=0; x-30=0|]