Gutter icons broken for constant without RHS

[MikaelMayer]

class Test {
  const x: int

  method Testing()
    requires x > 0
    ensures x != 0
  {
  }
}

The green gutter icon bar starts only after the "x" although that constant has no RHS to verify.