add partial formalization of InstCombineSelect.cpp