don't pass unnecessary data if the result is actually already known. TODO: more optimisations
don't pass unnecessary data if the result is actually already known. TODO: more optimisations

armijnhemel/binaryanalysis