Hanlde undefine in printing AIG