[mcs] Check for initially unassigned struct instance variables of unassigned structs.