formatting
modifications
Adding ConstrainedStateSpaceExplorer and beginnings of StatePolicyAnalysis