FM2024-v3: minor update. Added flags to toggle: (1) hierarchical weights (-hw) across all FBFL methods; and (2) maximum coverage (-mc), which maps each statement S to every other statement that would be executed if S is executed. Note: enabling -mc may compromise the minimality of the reported diagnoses. This flag is useful when evaluating localisation methods on finding the injected bugs in TCAS rather than on finding minimal bugs.