Created by: zhiqiu

When we need to use both a program and its desc, we should consider that the desc may be differ from the program, due to some potential modifying on desc in c++ space. So, we should call program._sync_with_cpp() when we need.