static Pair basicLogicRuleToPair(BasicLogicRule rule) {
  ret rule == null ? null : pair(rule.lhs, rule.rhs);
}