GRANT1true(y1),-4,new1(y1) || GRANT2true(y2),-4,new2(y2) || GRANT1false(x13),0,GRANT2true(x14) || GRANT2false(x14),0,GRANT1true(x13)