DL-LiteR translation auxiliary methods integration.