variable nodes, more operations and new tests.