Use WeakHashMap/WeakReference to ensure that
1) ChooseEntryPoint does not prevent collection of CompilationUnit
2) Whenever CompilationUnit is collected, ChooseId become collectable

This fixes a huge memory leak in Leon's runtime constraint solving.