Now get loop bounds from traces