Add tests for arithmetical operations and fix statement to check for theses