def is_problem(ctx) -> Bool: ...1000 lines of various garbage...
def is_specific_condition(ctx) -> Bool: ...3 lines of specific predicate...
This be enough if there is metric that shows worse safety:
The conclusion from the analysis of the accident data is that there is no evidence for the hypothesis that railway safety has become worse since privatisation.
