How to find the relation between ProceduralBlockSymbol and SequenceSymbol

[HungMingWu]

Hi Mike, I have one question
here is my test code

module test;
	int a = 5;
	int b = 10;
	bit clk;
	always #10 clk = ~clk;
	sequence seq(int y, int x = a + b);
		@(posedge clk) 1 == 1;
	endsequence
	assert property (seq(0)) $display("pass");
	else $display("fail");
endmodule

In this case,
I found two ProceduralBlockSymbol, the relations is similar as

InstanceBody
  -> ProceduralBlockSymbol
  -> SequenceSymbol
  -> ProceduralBlockSymbol

But the second ProceduralBlockSymbol is placed under SequenceSymbol.
Can I find the relation directly?
Or adjust the relation like this?

InstanceBody
  -> ProceduralBlockSymbol
  -> SequenceSymbol
    -> ProceduralBlockSymbol

Since SequenceSymbol is a scope either.

[MikePopoloski]

The second ProceduralBlock isn't the inside of the sequence, it's the (implicit) wrapper around the assert property statement, as specified by the LRM.

It's not generally possible to inspect the body of a sequence or property in AST form until you know how it's being instantiated, due to the formal arguments acting essentially like a macro and being replaced as-is. You can get an approximation by using AssertionInstanceExpression::makeDefault() to get an expression that instantiates the sequence with placeholder arguments but I think you'll be better off just walking into the assert property statement and finding the actual instantiation there.