Cause both script and goals to be shown when entering prover