Assertion triggers on edge despite delay added

In reply to chr_sue:

This is wrong. From the LRM:

Immediate assertions follow simulation event semantics for their execution and are executed like a statement in a procedural block. Immediate assertions are primarily intended to be used with simulation.

Since immediate assertions are executed in a procedural manner, the delay will certainly have an effect.