@property<EOL><INDENT>def is_transformation_pass(self):<DEDENT>
return isinstance(self, TransformationPass)<EOL>
If the pass is a TransformationPass, that means that the pass can manipulate the DAG,
        but cannot modify the property set (but it can be read).