perf: Avoid running skolemize and instantiate when there is no variables
perf: Avoid running skolemize and instantiate when there is no variables

Marwes/embed_lang,Marwes/embed_lang,gluon-lang/gluon,gluon-lang/gluon