Convergence of Ant Colony Optimization on First-order Deceptive Systems