Is it possible to constraint onehotencoding without using any special functions?

[MP1]

EDA Playground

I think this is what you are looking for .