Move backtrack to Util