ACL2-PC::RUN-INSTR-ON-NEW-GOALS

(macro) auxiliary to then
Major Section:  PROOF-CHECKER-COMMANDS

See documentation for then.