Add Abduct search algorithm
The only AbdMod
instances we currently have are those directly from BiAbdMod
. This is flawed, as we will not find recursive instances from e.g. wands. Better would be to have a separate, but similar algorithm, where one of final Abduct
instances is the one coming from a BiAbd