slicing and tick statements

[Philipp15b]

Right now, we do not handle slice tick statements by default. However, I think we might want to slice tick statements by default as well, just only after all assertions have been determined as guaranteed to be irrelevant for an error. In addition, we need to check that we don't introduce regressions (looking at the coupon collector) that could break by another statement being sliced.