Fix some asserts to check if foo.contains(bar) is S.true