flatten method impl on some nodes
specs, flatten method impl
possible division by zero spec
function always returns the same values
suspicious assignment detected inside condition spec