let
help =
"use simple abstract interpretation"