improving the nondeterministic assignment for structures and arrays