Tolti import superflui sulle classi e avvio del calcolo del sequente sulla classe CanvasSolvePActivity