Adapter between the solving logic and the analysis done