It takes time to find the right med, or combination of meds. I would have to ask what is his weight? Straterra is dosed by weight, not symptoms. Of course you probably already know the Abilify is an antipsychotic. It sounds like he has more going on than ADHD, but I would change the Adderall first, although it is possible the sleeplessness will diminish over time.
A child may HAVE ADHD, but it is not what they ARE. Never tell a child they ARE ADHD.
Another thing you might check is if he is on name brand Adderall XR or the generic.