add alternatives to operator[] for configuration and statistics
add alternatives to operator[] for configuration and statistics

potassco/clingo,potassco/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,peschue/clingo,peschue/clingo