- added smack test cases.
- made ProgrammAnalysis class static.
- modified unit test.
added git ignore