demo program passed semantic analysis