Solve erasure constraints faster.
Solve erasure constraints faster.

Do not traverse *all* constraints in each iteration;
check only those that are relevant for the nodes newly reached
in the previous interation.

kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev