dart analysis options