Hi, 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. Sorry. Sebastian