Changed case-split to not reuse Id as shadowing case binder.