Static Type Checker - passing Static Type Checker passing