Several recursive functions for testing translator.