Extra rewrite condition causes huge slowdown for JastAddJ

[Jesper Öqvist]

The change in commit 97d0ac202172dd3444a6f5c1c3632f84c7d42f35 causes JastAddJ to run much slower for some programs.

Still don't know why this happens.

[Jesper Öqvist]

Example of an expression that takes too long to compile:

        int x;
        x = 1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 +
            1+1 ;

[Niklas Fors]

Add "X-flag" to JastAdd2 for fixing boundary cross bug.

[Jesper Öqvist]

The slowdown is probably caused by list rewrites in JastAddJ. I will work on removing list rewrites in JastAddJ.

[Jesper Öqvist]

Circular NTA rewrites fixed this.

ExtendJ now uses --rewrite=cnta and --safeLazy (safeLazy is required for binary expression type analysis to be efficient, among other things).