some updates in GringoGrounder 4