sepcomp: initialize lazy guards to 'false' if opt_no_union_attribute.