Some methods are always called by passing a certain parameter with a fixed value. EXAMPLE: in modules/blocks/process, `loadBlocksOffset`, `verify` is always passed as true Check if static analysis tools can help to find these cases out.