predicate greet(string name) {
  name = "World"
}