* Some experiments with program analysis structure