DisjunctiveController only with gringo 3