resolution conflit - a verifier (flo)