Fix some non-critical static analyser warnings

These minor changes delete some lines of dead code, add asserts for some implicit assumptions, and add missing initializers. None of them should change any behavior.

Most static analyzer warnings are currently due to Flavour’s initializers, which make not 100% sure that p_info is non-null afterwards. This will be fixed with !28 (merged).