Reachability analysis of fragments of mobile ambients in AC term rewriting.