static interface IMatchFunction {  
  abstract bool match(O pat, O real, Map map);
}