eliminate more redundant constraint type analysis