[Inference] Model expansion with output vocabulary

[Bart Bogaerts]

Add this inference, which is also necessary for querying and lazy model expansion.

[Broes De Cat]

Additionally, just turning on the lazy option in solver mode halves execution time. So when searching models with an output vocabulary, turn on the lazy solver option but require that the full output vocabulary is decided.

[Broes De Cat]

Removing milestone: Later (automated comment)