can now run Manu's demand cast checker to filter out casts that can proved safe using context-sensitivity. fixed bug related to merging points-to variables during parameter binding. started adding support for adding path constraints due to switch statements