Svag matchende rim for specification tree