Kali patches should have a clear diff with only code removal

[monperrus]

when angelic value and observed value are all false

[tdurieux]

why?

[monperrus]

because we spend a lot of time to understand that the Dynamoth condition always evaluates to false.

Let me rephrase:

• we don't want any synthesis for Kali patch, in particular the Dynamoth synthesis that yields many of them
• we want Kali-like patches to be output as a diff with only deletion.

[monperrus]

if patch is if (true) then diff should contain the else block removed.

if patch is if (false) then diff should contain the if block removed.