Created visitors to find all clafers, and handle simple types of
constraints.