ACL2-PC::X-DUMB

(atomic macro) expand function call at the current subterm, without simplifying 
Major Section:  PROOF-CHECKER-COMMANDS


Example:
x-dumb:  expand without simplification.


General Form:
(x-dumb &optional new-goals-flg keep-all-guards-flg)
Same as (expand t new-goals-flg keep-all-guards-flg). See documentation for expand.

See also x, which allows simplification.