Router produces routes that cannot be found

[fritzo]

see https://github.com/fritzo/pomagma/blob/deterministic/src/theorist/conjecture_diverge.cpp#L46

[fritzo]

...
16171   1.59206     INFO    Routing all obs
16171   1.59207     DEBUG   finding best local routes
16171   1.59232     DEBUG   finding best local routes
16171   1.59255     DEBUG   finding best local routes
16171   1.59277     DEBUG   finding best local routes
16171   1.59299     DEBUG   scheduling route building
16171   1.59305     DEBUG   building full routes
16171   1.59336     INFO    Conjecturing divergent terms
16171   1.59337     DEBUG   collecting conjectures
16171   1.59338     DEBUG   sorting 54 conjectures
16171   1.59341     ERROR   route mismatch: APP COMP APP B CI B CB
    /home/fritz/fritzo/pomagma/src/theorist/conjecture_diverge.cpp : 53
    std::vector pomagma::detail::conjecture_diverge(pomagma::Structure&, const std::vector&, const std::vector >&, const char*)