Resolve method reflection for dynamic static calls ($var::method()) to enable purity and side-effect checking

Resolve method reflection for dynamic static calls ($var::method()) to enable purity and side-effect checking #1972