Member predicate CodeExecution::runsArbitraryCode

Holds if this execution runs arbitrary code, as opposed to some restricted subset. E.g. Object.send will only run any method on an object.