Dynamic backtracking extension of IFS solver