I noticed that the extension unfortunately does not support FOND Planning¹ domains at the moment. I was wondering whether there is an easy way to make this improvement. At the moment the keyword :non-deterministic is not yet supported. I think it should be added here and here. The single additional operator oneof should also be added.
Thanks in advance!
¹ As reference: PRP Paper | PRP Repository