add command print, control flow edges print in debug.ml