TODO: Optimization transformation that extracts constant assignments a variable in a VALUES with a sameTerm filter in case the VALUES are JOINED with other branches.
TODO: what if other unary variables are on the join.
TODO: Optimization transformation that extracts constant assignments a variable in a VALUES with a sameTerm filter in case the VALUES are JOINED with other branches.
TODO: what if other unary variables are on the join.