Puts Chc(
  Cat(
    Lit(Atom(Foo))
  )
)