Title: Automatic analysis of the logical structure of programs