This program is a simplified context-insensitive points-to analysis.
The analysis provides abstractions for assignment statements, 
object creations, and load/store operations on fields, respectively. 
New input instances can be generated with the C-program gen.c
 
