metasp works only with gringo 3