Test that the verifier handles field assignments in constructors of unresolve
classes.