Found:
Crash
SYNTAX: Notion in the Minimalist Program. A derivation crashes if it does not converge.