Add expectations on output to CIF event-based projection documentation

The output is a DFA, but it is not necessarily minimal. It is good to know that. Should be documented, similar to the NFA to DFA conversion.