axioms with +1 variables in predicate position

[arademaker]

In ontologyportal/sumo#198 (comment) @apease mentioned the com.articulate.sigma.PredVarInst.doublesHandled as a way to control ignore/handle of axioms with more than one predicate variable. I changed it to true but I am still getting

% f: (=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW))
% 426 of 12415 from file /Users/ar/workspace/sumo/Merge.kif at line 190
% not higher order
% f: (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1))
% 427 of 12415 from file /Users/ar/workspace/sumo/Merge.kif at line 316
% not higher order

That is, the axiom at line 190 on Merge.kif is being ignored no matter the value of this variable in the source code.