Cea mai de bază abilitate de găsire a erorilor este împărțirea codului în fiecare cale de execuție posibilă și apoi verificarea fiecăruia. Bonus: Fiecare univers de cod creat prin împărțirea if-urilor este mai simplu și mai ușor de verificat decât originalul