reasoning modes cautios and brave on solver, not on answersets. replaced AnswerSets by List<AnswerSet>
caching of previous call to solver