AbstractExtensionBindingChecker Const ExtensionBindingChecker ModelChecker RawTypeSet RawTypeSet.Mode RawTypeSet.Ref Ring TypeUtil Util