[PATCH] BTT patch: (3/3) time bounded trace analysis