MonteCarloExplorer now initializes forall variables