addressed code review comments, retracted the rule that converts existential query to distinct by
6 files changed