Linear assumptions should also vanish in backtracking