Proper naming of supply nets to represent multiple voltage symbols