Index: src/GenPoly/GenPoly.cc
===================================================================
--- src/GenPoly/GenPoly.cc	(revision cce94296a61149881755d331f2f292f92c7f6c5c)
+++ src/GenPoly/GenPoly.cc	(revision 1aa4b712079414c5564f7303ac0f872c241ee810)
@@ -219,4 +219,14 @@
 				expr = commaExpr->get_arg2();
 				continue;
+			} else if ( ConditionalExpr * condExpr = dynamic_cast< ConditionalExpr * >( expr ) ) {
+				int lvl1;
+				int lvl2;
+				VariableExpr * var1 = getBaseVar( condExpr->get_arg2(), &lvl1 );
+				VariableExpr * var2 = getBaseVar( condExpr->get_arg3(), &lvl2 );
+				if ( lvl1 == lvl2 && var1 && var2 && var1->get_var() == var2->get_var() ) {
+					*levels = lvl1;
+					return var1;
+				}
+				break;
 			} else break;