revert 00c2039b7da066f96d918b17c671de40f6a85032; renaming refactoring
introduce new configuration option to run dfg-error checking
renaming refactoring