color highlighting takes too long time in IDE
Color highlighting seems to take a lot of time. It seems it tries to colorize much too many terms: it should be limited to the local context. Limiting to the local context may indeed solve the long time issue