sclass NLLogic_ConstructChecker extends NLLogicChecker_v3 {
  S construct;
  
  bool checkExpression_impl(Exp e, Matching m) {
    if (e cast Func)
      if (eq(e.name, 'construct)) {
        S pat = e.arg.text();
        ret matcher.match(pat, construct, m.matches);
      }
        
    ret super.checkExpression_impl(e, m);
  }
}