Do not include unreachable locals