Fix a bug of reducing BB nesting counter
Add tid to DynValue and DynBB