A simple static analyzer