Fixed a bug introduced by the fork that prevented proper translation of quantifiers in iClingo.