instrument code and throw if it ever touches an Element