https://123dok.net/document/z3d34w38-testing-adequacy-automated-explanations-el-subsumptions.html