IF-free algorithms