Predicate NonSelf::first_arg_self

predicate first_arg_self(Function f)