resolution conflits - a verifier (flo)