Understanding Dart Class Modifiers by Using Lattices