Add graphs describing ATNState relations