seq? in machine, with evaluation tests