generators.YIELDTransduction("YIELD mapping"):
{
  X1 = proj-1:0
}
