Change type of nat_imp to BoolCol.