public RuleNet new_net(){
  int net_idx=net_list.size() + 1;
  String net_name="net#" + net_idx;
  return add(net_name,1,false);
}

public RuleNet new_net ( ) { int net_idx = net_list . size ( ) + 1 ; String net_name = "net#" + net_idx ; return add ( net_name , 1 , false ) ; }
generates a new net number forget about translating the new # }
