STATIC TYPE CHECKER TOOLS FOR DART