Edit: cset_narrowing.h