fix: more than 2 arguments in binary predicate