Hehe, nie wiem. Muszki się zdarzają, to normalne, a mrówki...hmm.
Jeżeli Tobie nie przeszkadzają, i nie zrobią w terrarium mrowiska, to podejrzewam, że same prędzej czy później padną. Może tam gdzie grasują posyp troszkę soli, ponoć to działa, albo pieprzu.