Actually prove that a field of the missing class was read by counting
constructions and reading unshared