Debugging non-ground ASP programs: Technique and graphical tools