eda8ef236cd903ce0f32052604fad35023f5d9d2Christian Maedersorts t1, t2, t3
eda8ef236cd903ce0f32052604fad35023f5d9d2Christian Maedersort t4, t3 < u2
eda8ef236cd903ce0f32052604fad35023f5d9d2Christian Maedersort t4, t2 < u1
eda8ef236cd903ce0f32052604fad35023f5d9d2Christian Maederop a:t4; a: t2; a: t3