progress on removing lookups
more progress on eliminating lookups
added hook for list get
removed map and set choice classes
fixed order of argument in set membership
removed updates
reverted renaming of updateMap
improved handling of locals in kernelc
improved map lookup resolution
removed tmp.k file
fixed wcet
fixed output
adjusted specifications
added some unit tests
addressed Yilong's comments
Merge pull request #1212 from andreistefanescu/master

removing lookup and update classes form the java backend
Merge remote-tracking branch 'upstream/master' into debug-substitution

Getting latest changes from upstream