simple cases of InfiniteForLoop visitor
simple cases of PossibleDivisionByZero visitor
code_analysis module, specs
specs for PossibleDivisionByZero
infinite loop spec