psk: provide proper accessors for block successors
Merge branch 'master' into psk
psk: fix option --analysis-entry in run-benchmark, disable SWEET analysis by default in run-demo