add arc check