Infer propose également un langage abstrait de domaine pour le repérage d'arborescence de syntaxe spécifique, basé sur les idées de la vérification de modèle pour la logique de l'arborescence de calcul.
Infer propose également un langage de domaine - abstrait - pour lier une arborescence de syntaxe spécifique, basé sur les idées tirées de la vérification de modèle pour la logique de l’arbre de calcul.