fold comparisons of gep'd alloca points with null to false,