in clause map/o(cons(region(belize,Belize,cons(Guatemala,nil)),cons(region(guatemala,Guatemala,cons(Belize,cons(El_Salvador,cons(Honduras,nil)))),cons(region(el_salvador,El_Salvador,cons(Guatemala,cons(Honduras,nil))),cons(region(honduras,Honduras,cons(Guatemala,cons(El_Salvador,cons(Nicaragua,nil)))),cons(region(nicaragua,Nicaragua,cons(Honduras,cons(Costa_rica,nil))),cons(region(costa_rica,Costa_rica,cons(Nicaragua,cons(Panama,nil))),cons(region(panama,Panama,cons(Costa_rica,nil)),nil)))))))).
  variables have no producer: ["Belize","Costa_rica","El_Salvador","Guatemala","Honduras","Nicaragua","Panama"]

real	0m0.277s
user	0m0.244s
sys	0m0.020s