In reply to abhiraj171:
The issue is that until operator is a property_expression and a property_expression can’t be written as LHS/RHS of delay ‘##’.
property_expression in your code is (($stable(sig2)) until (sig1 [->1]))
What is the intent of using delay ##7 in consequent ?