fix rangeMapFindIn containment filter#885

cuiweixie wants to merge 1 commit intokoka-lang:devkoka-lang/koka:devfrom

cuiweixie:fix/range-map-find-in-filtercuiweixie/koka:fix/range-map-find-in-filterCopy head branch name to clipboard