Add flow sensitivity to constraints and predicate evaluation

[smeyer198]

Consider called statements when evaluating constraints and predicates. Reduce number of false positives because only statements from corresponding flows are considered.

Close #810

Note: Requires a previous release of Boomerang