<BUG>import static com.sri.ai.grinder.sgdpllt.library.FunctorConstants.CARTESIAN_PRODUCT;</BUG><CONTEXT>import org.junit.Assert;import org.junit.Test;import static com.sri.ai.expresso.helper.Expressions.apply;import static com.sri.ai.expresso.helper.Expressions.parse;import static com.sri.ai.grinder.sgdpllt.library.FunctorConstants.FUNCTION_TYPE;<extra_id_0>import java.util.Arrays;import java.util.StringJoiner;import com.sri.ai.expresso.api.Type;</CONTEXT>
import static com.sri.ai.grinder.sgdpllt.library.FunctorConstants.TUPLE_TYPE;