handle infinite loops
handle statements
compare.py: custom predicate on cmdline
mkcharts.sh: cleanup