# File karel/assertions.rb, line 25
  def assert_at(street, avenue)
    assert_street(street)
    assert_avenue(avenue)
  end