Fixed program state
Merge branch 'master' of github.com:rostgaard/02242

Conflicts:
	analysis_tool/src/analysis/RDProgramState.java
Merge branch 'master' of github.com:rostgaard/02242
Changed to sets