better nonlinear detection in *LRA, *LIRA logics