Crude implementation of a static number analyzer / division-by-0 checker - View it on GitHub