optimisation to unit inference + recritical variables inference