module Test {
  predicate test() {}
}