semantic: make rewrite super more fine grained, stub out identifier.