fixing issue 985

fixed https://github.com/kframework/k/issues/985

The failing assertion seems to be too strong. Besides, this assertion is only made for builtin functions and not user-defined functions. So I guess it's ok to remove it.

@dwightguth @andreistefanescu please review