Package ru.ispras.microtesk.translator.nml.generation.decoder