Add AbortNode() call and fprintf