Temporarily commented out a test with ==>, not working yet in case of backtracking.