forgot to clone attributes in assert and assume CfgStatements