Update failing test. Doesn't test CeylonTypeCheckerAnnotator any more (need to find a way to make sure TypeChecker has finished its job).