Map from operation index to the ContCrash produced by that operation.
The map is unmodifiable.
final Map<int, ContCrash> crashes;