handles {a:x;{[b]a,b}y}[1;2] and s2. s1 still fails