Add supports for type cast and filtering type for field and method owner in global initialization checker

[EnzeXing]

This PR adds support for more precise analysis of type casting in global initialization checker, which filters impossible classes after reference casting and preserves only possible classes. It also automatically filter the set of possible classes during field selection or method invocation and only preserves owners of the field/method