add partial formalization of InstCombineSelect.cpp
Merge pull request #2 from regehr/select

add partial formalization of InstCombineSelect.cpp