> Crime X exists -> Try solution Y ...

I think the problem here might be that while Crime by its definition might be the same, the way that it is executed changes drastically so Solution Y/Y0/Y1/Y2 are not required to exist in terms of severity (very likely solution Y was severe enough if you were tried and convicted of the crime) but they are needed because the way Crime X is executed changes (especially this Crime X)