Prettify Dart version
Prettify Dart version

Just do some minor tweaks to make the Dart code look nicer.
Mostly just removing local variable type annotations.
logicchains/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,def-/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,def-/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench,logicchains/LPATHBench,def-/LPATHBench,logicchains/LPATHBench