let
callHasNoSideEffects : (instr
->
bool) ref =
ref (
fun
_
->
false
)