visitor: Visit AssertStatements.