Adds tests for default function simplification.
Fix some errors in dart doc.