fixing #402 in branch Unified builtins2

fixing https://github.com/kframework/k/issues/402