Immutability analysis is unsound for constructors

[errt]

The field immutability analysis currently ignores all assignments in constructors, but if the object escapes the constructor or a field is read inside the constructor before the assignment, a different field value can be observed.