static BasicLogicRule lambdaMapLike mapBasicLogicRule(IF1 f, BasicLogicRule r) {
  ret r == null ? null : BasicLogicRule(f.get(rule.lhs), f.get(rule.rhs));
}