Add test for X = Y + Z