improved random node generator by adding recursion
reimplemented classify to fix  bug, and split some test functions into
separate axioms