added logging to concretizer query generator