Orbit decidability and the conjugacy problem for some extensions of groups