Currently the solver does not solve flow-insensitive properties, even though they’re just bottom-up. This is because the solver doesn’t have access to the AST, only the CFG.

Submitted by Jeff Smits on 17 January 2018 at 17:00