Module test.

Define User has name.

Rule greet, produce:
  Return 0.