Statements/AssertOnTuple.ql