threading: 1. Corrected a bug introduced by the previous commit, related to interface fields. It was caused by an inconsistency in the semantics that existed for long time, but was recently exposed. Now the cell <staticEnv> holds only variables declared precisely in this class, and not those inherited from superinterfaces.
2. Added two tests to expose a case not tested before, related to interface fields, but exposed now during the above fix.