Predicate NonCls::first_arg_cls

predicate first_arg_cls(Function f)