Skip to content

Add 'generalized statements' option inference based on input format (… #332

Add 'generalized statements' option inference based on input format (…

Add 'generalized statements' option inference based on input format (… #332