N7s tmc#200 stop condition fix

Improves stop condition parsing and correctly handles eventually clauses.

For some violations, error type is parsed as Undefined Type (as opposed to Unknown Type previously). For example, never controller.my > 20; is such case.