made the calculation of the implications cancelable
I don't know why, but the calculation is not stopped, at least the
result is not shown anymore
fixed cexreader-bug