prove that new_constant preserves consistency