Add iterator over implications