let $x0 = (~<1><2>c) & $x1,
    $x1 = <1> $x2 & a,
    $x2 = <2> $x3 & b,
    $x3 = <1> $x1 | c in
    $x0