Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision a94b8291fd5d45ed741b2c85713c868ddc3b2bbc)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 0872c429921de141046fcfc46ae49aef08854b1b)
@@ -762,5 +762,5 @@
 						// add new result
 						results.emplace_back(
-							i, actual.expr, move(env), copy(results[i].need), 
+							i, exploded.front().expr, move(env), copy(results[i].need), 
 							copy(results[i].have), move(openVars), results[i].nextArg + 1, 
 							nTuples, actual.cost, move(newExpls) );
@@ -1009,5 +1009,5 @@
 						// add new result
 						results.emplace_back(
-							i, actual.expr, move(env), copy(results[i].need), 
+							i, exploded.front().expr, move(env), copy(results[i].need), 
 							copy(results[i].have), move(openVars), j + 1, 0, 
 							actual.cost, move(newExpls) );