Help wanted. star<sor<until<

[cloudcalvin]

Hello all, many thanks for developing this great library. It has been very exciting using it to build our tool (https://github.com/pleroux0/vcd_assert).

Would someone kindly help me understand why using until inside of star not allow my grammar to function correctly?
I am trying to parse verilog modules but ignore everything internal to the module except for module instantiations (and sdf_annotation which is still to be added).

The rule,

  star<
      until<module_instantiation>
  >,

in the following grammar excerpt fails to parse theendmodule_keyword (in module_declaration).

struct one_line_comment : must< 
    two< '/' >, until< eolf > 
> {};

struct block_comment_cont : until< 
  sor< eof, TAO_PEGTL_STRING( "*/" ) > 
> {};

struct block_comment : if_must<
  TAO_PEGTL_STRING( "/*" ), 
  block_comment_cont
> {};

struct comment : sor <
  one_line_comment,
  block_comment
> {};

struct separator : plus<
  sor<
    comment, 
    plus<blank>
  >
> {};

struct module_declaration : if_must<
  module_keyword,
  plus<blank>,
  module_identifier,
  until<one<';'>>,
  star<
      until<module_instantiation>
  >,
  until<endmodule_keyword>,
  opt<separator>
> {};

struct grammar : must<
  list<
    opt<separator>,
    sor<
      // until<compiler_directive>,
      until<module_declaration>
    >
  >
> {};

The rule until<endmodule_keyword> works as expected when until<module_instantiation> is not wrapped in star.
Ideally I would want to have something like:

star<sor<until<module_instantiation>, until<sdf_annotation>>>

or

star<until<sor<module_instantiation, sdf_annotation>>>

Any help in the matter would be greatly appreciated.

Kind Regards
Calvin