Fix how functions are parsed for const exprs#566

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/funcs_as_const_exprsleanprover/KLR:ppotapov/funcs_as_const_exprsCopy head branch name to clipboard