derivation trees: support delays
... and small other improvements