Remove aterm + pattern matching.