1 2
Rule fired: USPEC map2 @('S ('S 'Z)) @_ @_ @_ (T8848) Rule fired: USPEC map2 @('S ('S 'Z)) @_ @_ @_ (T8848)