static BasicLogicRule curryLHS(BasicLogicRule rule) {
  ret curryLHS_BasicLogicRule(rule);
}