NeVer: a tool for artificial neural networks verification