Do second value_not_same_as_normal_form exercise in Smallstep
Do third value_not_same_as_normal_form in Smallstep