Primes benchmarks fail in DFA, due to rank conjunction

DFA fails to handle rank conjunction. NeuralNets also broken.