DistToStackCalculator can determine that a stack pointer pointing to an object pointing to another object includes no detached objects.