fixed null pointer exception when no negated concretizer queries are
supplied