Fix terminate when and record statements in subscenarios#490

dfremont wants to merge 2 commits into

mainBerkeleyLearnVerify/Scenic:mainfrom

fix_subscenariosBerkeleyLearnVerify/Scenic:fix_subscenariosCopy head branch name to clipboard