value flow: bailout if condition is defined by macro