semantic: Mark functions that explicitly call super.