Changed parameter order - necessary for generating PDFA