Heads up to the Analysis guys. My latest commit r63983 break the
misc-ps.m testcase. This is very likely because I modified the
BinaryOperator::Opcode enumeration, but I didn't manage to track down
the bug. Hopefully someone who's familiar with the Analyzer source will
find this easier.