Function monster::symbolically_execute_with

pub fn symbolically_execute_with<Solver, Strategy>(
    program: &Program, 
    options: &SymbolicExecutionOptions, 
    strategy: &Strategy, 
    solver: &Solver
) -> Result<Option<SymbolicExecutionBug>, MonsterError> where
    Strategy: ExplorationStrategy,
    Solver: Solver,