DL-LiteR translation auxiliary methods sketched.