TODO add class description
@uml @override
@uml e.g., $i ref in pred @final
@uml @final
See Implementation
TODO add class description