Enable graph dot display fails for CAN_BUS_tlc

Probably some error that needs to be caught on the Prolog side:

Update ---> Update :: can_be_enabled_after(ok) : can_be_disabled_after(ok) : can_disable(ok) : Enable=possible_disable
% Done
Yes: Errors->[error('max applied to empty set',error,[error_span('/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch',298,31,298,44)])] WarningsOnly->false
ProB raised exception(s):
Error: max applied to empty set (/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch:298:31 to 298:44)
Graph visualization failed
de.prob.exception.ProBError: ProB reported Errors
ProB returned error messages:
Error: max applied to empty set (/Users/leuschel/git_root/prob_examples/public_examples/B/Benchmarks/CAN_BUS_tlc.mch:298:31 to 298:44)
at de.prob.animator.command.AbstractCommand.processErrorResult(AbstractCommand.java:137)
at de.prob.animator.AnimatorImpl.execute(AnimatorImpl.java:81)
at de.prob.statespace.StateSpace.execute(StateSpace.java:543)
at de.prob2.ui.dynamic.dotty.DotView.getSvgForDotCommand(DotView.java:185)
at de.prob2.ui.dynamic.dotty.DotView.lambda$visualize$6(DotView.java:147)
at java.lang.Thread.run(Thread.java:748)
<==========---> 80% EXECUTING [36m 51s]