Backtracking of definitions handled