Improve backtracking. Add prettyprint to backtracking