private Decoration getHighLevelDecoration(MathNode node) {
        final boolean initialisationConflict = initState.isConflict(node);
        return new StateDecoration() {
            @Override
            public Color getColorisation() {