sub-vocabulary in modelexpand ?
Issue #957
new
The IDP 3 manual has this to say about modelexpand : "The third argument (vocabulary) is optional and allows you to specify a subvocabulary containing only the symbols in which you’re intersted."
So, it should not increase the number of structures found. Yet, this program shows that this is not true. Am I missing something ?