function isProtectedClass input TypeName cl; input String c2; output Boolean b; end isProtectedClass;