Assertion using $stable with |-> #[...]

[ingamara]

Thanks shanthi, Dave for your help and clarification on this one.