Avantssar's Hlpsl2If translator. Specification file: (UTF-8)

Options for Hlpsl2If: --all --goals --inits --rules --types
%% main.getOptions