A generalization of the simulation theorem for semidirect products