sub next_clauseid {

    my $current_id = shift(@_);
    ...