Failing putfield tests

This shows some problems with the constraint generation for putfield that we have discussed yesterday.