textDocument/codeAction failed

[keyboardDrummer]

Exception occurs when typing the last d in the file

// predicate P()
// lemma X() requires 1 == 1 ensures P()

// method Foo() {
//   assert P() by {
//     X();
//   }
//   assert 3 == 3;
//   assert P();
//   assert 2 == 2;
//   if (*) {
//     assert 4 == 4;
//   } else {
//     assert 5 == 5;
//   }
//  assert 7 == 7;
// }

// function F(x: int): int {
//   x + 2
// }

// method Bar() {
//   assert F(2) == 4;
// }

opaque function Pred(x: int): int {
  2 + x
}

method Foo() {
  reveal Pred();
  assert Pred(2) == 4;
}

method