Repeated reformatting of multi-line comments resulting in them moving to the right

[heueristik]

Describe the bug

• Juvix v0.6.6-68a79bc

To Reproduce
Steps to reproduce the behavior:

Write a multiline comment in a function body, e.g.,

myfun (a : Nat) : Bool :=
  {-
  My comment.
  -}
  true;

and format the file.

1. Formatting:

myfun (a : Nat) : Bool :=
  {-
    My comment.
    -}
  true;

2. Formatting:

myfun (a : Nat) : Bool :=
  {-
      My comment.
      -}
  true;

3. Formatting:

myfun (a : Nat) : Bool :=
  {-
        My comment.
        -}
  true;