fixed logic bug in violates_inequality, added impos_lenght_side