Pass specs about `for` statement with DA