expand function call at the current subterm, without simplifying
Major Section: PROOF-CHECKER-COMMANDS
General Form: x-dumb: expand without simplification.
Same as (expand t new-goals-flg keep-all-guards-flg). See
documentation for expand.
See also x, which allows simplification.
