hybrid system solver: when asked to perform PWL-style reasoning, output
an error message, instead of ignoring it
Improvements in event tree implementation.