Preliminary support for width() and value functions
Basic type inference for precondition functions and values
Remove debug printout from parseValFunction
More tests from visitSub
enable Packrat parsing to speedup precondition parsing
add support for more operators in the precondition lang
add test for LLVM's PR20186
more test reorganization
add support for negation in preconditions
merge David Menendez's patch to implement support for
non-boolean functions is preconditions.
fix conflicts
add partial formalization of InstCombineSelect.cpp