Ces deux instruction créent des macros nommées ADD_VALID_BELIEF et ADD_BELIEF
.
En gros, quand le préprocesseur (qui est appellé pendant la compilation) voit l'instruction
ADD_BELIEF(UneVariable,UneAutreVariable);
dans le code qui suit ces deux declarations, il le remplace par