What is the difference b/w the below two assertions? a |-> nexttime[2] b
a |-> ##2 b
Check if this helps