The simplest way is taking the intersection of the corresponding constraints.
we should consider the fact that the properties assigned automatically can be erroneous, since none of the analyzer is perfect.