add const case-distinction