INSTANCE swap#1; extracted_from = {block#1}; var1 = ?var1; var2 = ?var2; temp_var = ?temp_var; END_INSTANCE;