InputReader
OutputWriter
Transformer
ImplicitMinimizeTransformer
InputReaders.HoaReader
OutputWriters.ToHoa
RabinDegeneralization
RewriterTransformer
Transformers.SimpleTransformer
public interface OwlModule