An option to focus on publicly reachable execution paths

[pirapira]

Currently the analyzer tries to follow every possible execution path. There can be an option to filter out the execution paths that require a particular caller, or preimage of a hash function.