Fix right-assoc checking
Fix redundant splicing