fixing issues with collecting incorrect constraints on checkcast for a variable that the path constraints say should be null. added test.