(executable
  (name analyzer)
  (libraries libs frontend zarith interpreter domains))
