Various bug fixes related to the Bytecode.Cmp TypeAnalysis classes.  Thanks to Troy Shaw for spotting these!!