Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision c43c171cf3155ec51da1dfbcf876f5d441caef5b)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision b5a8ef73c79284910b1246f953b8d0bd205dbf65)
@@ -843,5 +843,5 @@
 						OpenVarSet openVars{ result.openVars };
 						env.addActual( actual.env, openVars );
-						nextResults.emplace_back( result, actual.expr, std::move(env), 
+						nextResults.emplace_back( result, actual.expr->clone(), std::move(env), 
 							std::move(openVars), actual.cost );
 					}