made visual explorer set propositional function text box on intial state
so that an action doesn't have to be made first.