void analyze(Program* prog) {
}