Better naming in DartProgram