*0* saux(_OBS) -> (_OBS) *1* v1(CHK_PRUEBA_OBS), saux(_OBS), sw(1), substr(CHK_PRUEBA_OBS,-1*strlen(_OBS)) -> (_OBS)