SET PROGRAMS TOWARDS STATIC ANALYSIS OF ANSWER SET PROGRAMS 1