Warnings are now stored separately by the logger, and there's a hashing-based mechanism for avoiding repeatedly printing the same warning over and over again (e.g. if it's thrown once many times per query in the compilation of a single property).
Fixes #718 by adding a warning for it, and also adds a warning for #714 (but the underlying bug still needs to be fixed).
Warnings are now stored separately by the logger, and there's a hashing-based mechanism for avoiding repeatedly printing the same warning over and over again (e.g. if it's thrown once many times per query in the compilation of a single property).
Fixes #718 by adding a warning for it, and also adds a warning for #714 (but the underlying bug still needs to be fixed).