TC-O: add rule about subclasses
We should add a rule in tiger.html that subclasses should all be declared in the same chunk as the superclass as it can otherwise lead to strange behaviour with the dynamic dispatch in TC-O.
We should add a rule in tiger.html that subclasses should all be declared in the same chunk as the superclass as it can otherwise lead to strange behaviour with the dynamic dispatch in TC-O.