Fixed context tree abstraction bug