removing unused code
dont run procDetermineUniqueInputs's loop case when there is no unknow bits
renaming try_bound_wrap to self#inferPredicateUniq