Alignment *sets* read from the OAEI format.

* [CPS,EXT] Added depth-first search (beside breadth-first).
* [CPS,FIX] Removed cut after goal state recognition, making the CPS nondet.
* [OAEI,EXT] Finalized the predicates that return alignment sets (rather than alignment pairs).
small