Slow propagation to structure and grounding because of BDD?

[Broes De Cat]

Hi,

Theory in attachment propagates and grounds too slowly. Reason is probably a BDD that iterates over the full "time" type, while that is not necessary as far as I can see. Reducing the type improves performance, as does setting longestbranch to a lower value.

Bug, or something not easily solvable?

I don't really need a solution, I'll workaround with the longestbranch option.

Cheers, Broes