Do value_not_same_as_normal_form exercise in Smallstep