fix test to reflect karel changes