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