reconstructed program structure and logic.