Fixed relations between reads and assigns + added fields in the
environment with unknown assignments
while structure included