Automated Analysis in Generic Groups