I've implemented a dynamic check for whether variables are initialised or not... BUT, it isn't what we're meant to do... we're meant to implement a check for the possibility that the variable is not initialised - which is done in TypeChecker, and doesn't tell you whether the variable is DEFINITELY assigned to or not, but identifies variables which MAY not be assigned to.... and gives some sort of meaningful response.