LG: make independent of pushquantifiers

Issue #691 new
Bart Bogaerts created an issue

No description provided.

Comments (1)

  1. Log in to comment