# typestate ../../bin/analyze board.?l list.sl arrayset.sl view.sl model.scope ../../bin/analyze controller.?l board.sl list.sl arrayset.sl view.sl model.scope ../../bin/analyze view.?l board.sl arrayset.sl list.sl ../../bin/analyze main.?l board.sl view.sl controller.sl list.sl arrayset.sl model.scope # bohne ../../bin/analyze list.?l # arrayset ../../bin/analyze arrayset.?l