Formatter breaks syntactic correctness and modifies the program iteratively

[jspam]

Trying to format the following program using Ctrl+Shift+F:

Integer[] funcresults := {1, 2}

_assert ∃ Integer j, 0 ≤ j ∧ j ≤ 1 : funcresults[j] ≥ 0
_assume ∀ Integer k, 0 ≤ k ∧ k ≤ 1 : funcresults[k] ≥ 0

yields

Integer [] funcresults :={1,
    2}


_assert ∃ Integer j,
0 ≤ j ∧ j ≤ 1 : funcresults [ j ] ≥ 0 
_assume ∀ Integer k,
0 ≤ k ∧ k ≤ 1 : funcresults [ k ] ≥ 0 

which is no longer syntactically correct.

After applying the formatter a few times, the program looks like this:

Integer [] funcresults :={1,

























                             2 }                         


                            _assert ∃ Integer j ,                         
                            0 ≤ j ∧ j ≤ 1 : funcresults [ j ] ≥ 0                          
                            _assume ∀ Integer k ,                         
                            0 ≤ k ∧ k ≤ 1 : funcresults [ k ] ≥ 0                         

[bafain]

"Formatter modifies the program iteratively" still happens in ef9373e. I'm pressing Ctrl+Shift+F and each time the function block is indented.

function Integer f() {
    return 0            
}

Moreover space is added after the { and around the } character each time and the space between the parameter list () and { is removed the first time.