[sorokod]

The problem with generated summaries as opposed to generated code for example, is that there is no way to verify them without reproducing the entire thing "manually".

Can't do better then brute force for verification.