change GringoClaspOpt to GringoClasp