Handling case of generated default-value instructions correctly
Enhancing precision of races client with null-deref specialized transfer functions
Fixing bug in transfer functions for casts
Addning code to avoid adding irrelevant path constraints based on a few simple heuristics
Preventing NPE due to null IR