It looks like test methods that call ‘verify’ or ‘check’ methods, which then perform assertions are flagged as not containing assertions.
It would be good if the ‘no assertion’ rule dropped through method calls to see if asserts were hit in sub-methods.