-
Christoph Egger authored
As there should never be free variables in formulas within the FL-Closure maybe we should rather signal an error here?
43194ed2
As there should never be free variables in formulas within the FL-Closure maybe we should rather signal an error here?