Consistency checks allow quantifiers without bounded variables

The following code can be generated via AST and goes through consistency checks causing Silicon to crash:

```viper
domain D {

  axiom A {
    (forall  :: true)
  }

}
```