Support const-agg-zero in the path condition check synth path
Allow path conditions to write to first member in a struct without complaining that struct type and scalar type are incompatible