Hi, I'm building a translation from jimple to boogie. Boogie cannot cast between int and boolean, but in jimple all boolean are represented as IntTypes. Getting the boolean types by implementing a type checker would be possible, but sounds like pain. Is there a cheap way to check if something used to be a boolean? Thanks, M