merge constraint type analysis stuff together.