Reshuffle code, make it work, correct a few yes/no inversion bugs

compiler/surface/parser_driver.ml

@@ -278,7 +278,7 @@ let rec parse_source_file
         try
           let input = open_in source_file in
           (Sedlexing.Utf8.from_channel input, Some input)
-        with Sys_error msg -> Errors.raise_error "%s" msg)
+        with Sys_error msg -> Errors.raise_error "System error: %s" msg)
     | Contents contents -> (Sedlexing.Utf8.from_string contents, None)
   in
   let source_file_name =

examples/allocations_logement/allocations_logement.catala_fr

@@ -1,3 +1,5 @@
+> Inclusion: ../base_mensuelle_allocations_familiales/bmaf.catala_fr
+
 > Inclusion: prologue.catala_fr
 
 # Code de la construction et de l'habitation

examples/allocations_logement/code_construction_legislatif.catala_fr

@@ -192,7 +192,7 @@ champ d'application ÉligibilitéAidePersonnelleLogement:
 exception cas_base_l822_4 règle condition_logement_location_tiers
   sous condition
     selon ménage.logement.loué_ou_sous_loué_à_des_tiers sous forme
-    -- LouéOuSousLouéÀDesTiers.Non: faux
+    -- LouéOuSousLouéÀDesTiers.Non: vrai
     -- Oui de personne: personne.age_personne_sous_location <= 30 ou personne.conforme_article_l442_1
   conséquence rempli
 ```
@@ -347,7 +347,7 @@ locatifs et portant modification de la loi n° 86-1290 du 23 décembre 1986.
 # todo informatique: structure inverse de la structure avec des conditions chainées
 champ d'application ÉligibilitéAidePersonnelleLogement:
   règle condition_non_ouverture_l822_9_decence_logement
-  sous condition ménage.logement.logement_decent_l89_462
+  sous condition non ménage.logement.logement_decent_l89_462
   conséquence rempli
 ```
 

examples/allocations_logement/code_construction_reglementaire.catala_fr

@@ -400,10 +400,13 @@ champ d'application RessourcesAidePersonnelleLogement:
     si demandeur_exerce_activité_rémunérée et
       conjoint_exerce_activité_rémunérée et
       (ressources_conjoint +€ ressources_conjoint) >=€
-       prestations_familiales.base_mensuelle *€ 12,0
+       base_mensuelle_allocations_familiales.montant *€ 12,0
     alors
       montant_forfaitaire_r_822_7
     sinon 0€
+
+  définition base_mensuelle_allocations_familiales.date_courante égal à
+    date_demande_ou_reexamen_droit
 ```
 
 Le montant de cet abattement est fixé par arrêté des ministres chargés du

examples/allocations_logement/prologue.catala_fr

@@ -136,6 +136,13 @@ déclaration champ d'application ÉligibilitéAidePersonnelleLogement:
   sortie éligibilité condition
   ouverture_droits_retraite champ d'application OuvertureDroitsRetraite
 
+champ d'application ÉligibilitéAidePersonnelleLogement:
+  règle éligibilité sous condition
+    condition_nationalité et
+    condition_logement_mode_occupation et
+    éligibilité_logement
+  conséquence rempli
+
 déclaration champ d'application ÉligibilitéPrimeDeDéménagement:
   entrée date_emménagement contenu date
   entrée ménage contenu Ménage
@@ -181,10 +188,12 @@ déclaration champ d'application RessourcesAidePersonnelleLogement:
   entrée conjoint_exerce_activité_rémunérée contenu booléen
   entrée personnes_à_charge contenu collection PersonneÀCharge
   entrée situation_familiale contenu SituationFamiliale
-  prestations_familiales champ d'application PrestationsFamiliales
+  base_mensuelle_allocations_familiales champ d'application
+    BaseMensuelleAllocationsFamiliales
   entrée mode_occupation contenu ModeOccupation
   entrée condition_âge_bourse_enseignement_supérieur condition
   entrée demandeur_poursuit_des_études condition
+  entrée date_demande_ou_reexamen_droit contenu date
   interne ressources_forfaitaires_r822_20 contenu argent
 
 déclaration champ d'application CalculAidePersonnelleLogement:
@@ -217,10 +226,6 @@ déclaration champ d'application CalculAidePersonnelleLogement:
   interne taux_loyer_éligible contenu décimal
   interne taux_composition_familiale contenu décimal
 
-déclaration champ d'application PrestationsFamiliales:
-  sortie base_mensuelle contenu argent
-  # TODO: connecter au vrai champ d'application
-
 déclaration champ d'application OuvertureDroitsRetraite:
   sortie âge_ouverture_droit contenu durée
   entrée date_naissance_assuré contenu date

examples/allocations_logement/tests/output/test_allocations_logement.catala_en.Exemple1.Interpret

@@ -0,0 +1,2 @@
+[RESULT] Computation successful! Results:
+[RESULT] éligible = true

examples/allocations_logement/tests/output/tests_allocations_logement.catala_fr.Typecheck

@@ -0,0 +1 @@
+[RESULT] Typechecking successful!

examples/allocations_logement/tests/tests_allocations_logement.catala_fr

@@ -8,51 +8,51 @@ déclaration champ d'application Exemple1 :
   sortie éligible contenu booléen
 
 champ d'application Exemple1 :
-définition éligible égal à éligibilité.éligibilité 
-assertion éligible 
- définition éligibilité.date_ouverture_droits égal à |2022-03-10|
+définition éligible égal à éligibilité.éligibilité
+assertion éligible
+ définition éligibilité.date_ouverture_droits égal à |2020-03-10|
  définition éligibilité.ménage égal à Ménage {
   -- prestations_reçues: [AllocationSoutienEnfantHandicapé; ComplémentFamilial; AllocationsFamiliales]
   -- situation_familiale: Mariés
   -- personnes_à_charge: [EnfantÀCharge contenu (EnfantÀCharge {
-    -- bénéficie_titre_personnel_aide_personnelle_logement : faux 
+    -- bénéficie_titre_personnel_aide_personnelle_logement : faux
     -- prise_en_charge : EffectiveEtPermanente
-    -- âge : 19 
+    -- âge : 19
   }); EnfantÀCharge contenu (EnfantÀCharge {
-    -- bénéficie_titre_personnel_aide_personnelle_logement : faux 
+    -- bénéficie_titre_personnel_aide_personnelle_logement : faux
     -- prise_en_charge : EffectiveEtPermanente
     -- âge : 11
   }); EnfantÀCharge contenu (EnfantÀCharge {
-    -- bénéficie_titre_personnel_aide_personnelle_logement : faux 
+    -- bénéficie_titre_personnel_aide_personnelle_logement : faux
     -- prise_en_charge : EffectiveEtPermanente
     -- âge : 8
   })]
   -- logement: Logement {
-    -- résidence_principale : vrai 
+    -- résidence_principale : vrai
     -- est_ehpad_ou_maison_autonomie_l313_12_asf : faux
     -- mode_occupation : Locataire
-    -- propriétaire : ParentOuAutre.Autre 
-    -- loué_ou_sous_loué_à_des_tiers : LouéOuSousLouéÀDesTiers.Non 
-    -- usufruit : ParentOuAutre.Autre 
-    -- logement_decent_l89_462 : vrai 
+    -- propriétaire : ParentOuAutre.Autre
+    -- loué_ou_sous_loué_à_des_tiers : LouéOuSousLouéÀDesTiers.Non
+    -- usufruit : ParentOuAutre.Autre
+    -- logement_decent_l89_462 : vrai
     -- loyers_l823_3 : 700€
     -- surface_m_carrés : 80
   }
-  -- nombre_autres_occupants_logement: 1 
+  -- nombre_autres_occupants_logement: 1
   -- condition_rattaché_foyer_fiscal_parent_ifi: faux
-  -- nombre_enfants_à_naître_après_troisième_mois_grossesse: 0 
-  -- date_naissance_troisième_enfant_ou_dernier_si_plus : 
-    Date contenu (DateDeNaissance contenu |2014-09-23|) 
+  -- nombre_enfants_à_naître_après_troisième_mois_grossesse: 0
+  -- date_naissance_troisième_enfant_ou_dernier_si_plus :
+    Date contenu (DateDeNaissance contenu |2014-09-23|)
  }
  définition éligibilité.demandeur égal à Demandeur {
-   -- satisfait_conditions_l512_2_code_sécurité_sociale : vrai 
-   -- age_demandeur : 52 
+   -- satisfait_conditions_l512_2_code_sécurité_sociale : vrai
+   -- age_demandeur : 52
    -- date_naissance : |1970-05-02|
-   -- contrat_de_travail : CDI 
-   -- nationalité : Française 
+   -- contrat_de_travail : CDI
+   -- nationalité : Française
    -- patrimoine : Patrimoine {
      -- produisant_revenu_période_r822_3_3_r822_4: 0€
      -- ne_produisant_pas_revenu_période_r822_3_3_r822_4: 0€
      }
    }
-```
+```

examples/base_mensuelle_allocations_familiales/Makefile

@@ -0,0 +1,4 @@
+CATALA_LANG=fr
+SRC=bmaf.catala_fr
+
+include ../Makefile.common.mk

examples/base_mensuelle_allocations_familiales/bmaf.catala_fr

@@ -0,0 +1,67 @@
+# Montant de la base mensuelle des allocations familiales
+
+```catala-metadata
+déclaration champ d'application BaseMensuelleAllocationsFamiliales:
+  entrée date_courante contenu date
+  sortie montant contenu argent
+```
+
+## Instruction ministérielle N°DSS/SD2B/2019/65 du 25 mars 2019 relative à la revalorisation au 1er avril 2019 des prestations familiales servies en métropole
+
+Conformément à l’article L. 551-1 du code de la sécurité sociale, le montant
+des prestations familiales est déterminé d'après des bases mensuelles
+de calcul revalorisées au 1er avril de chaque année, par application
+du coefficient mentionnée à l’article L. 161-25 du code de la
+sécurité sociale. Au titre de l’année 2019, l’article 68 de la loi du 22
+décembre 2018 de financement de la sécurité sociale a prévu, par dérogation
+aux dispositions de l’article L. 161-25, une revalorisation de 0,3 % du montant
+des prestations relevant de cet article.
+
+Le montant précité de la base mensuelle de calcul des allocations
+familiales (BMAF), en pourcentage duquel sont fixés les montants des prestations
+familiales, est ainsi porté de 411,92 € à 413,16 € au 1er avril 2019.
+
+```catala
+champ d'application BaseMensuelleAllocationsFamiliales :
+  définition montant
+  sous condition
+    date_courante >=@ |2019-04-01| et
+    date_courante <@ |2020-04-01|
+  conséquence égal à 413,16 €
+```
+
+## Instruction interministérielle no DSS/SD2B/2020/33 du 18 février 2020 relative à la revalorisation au 1er avril 2020 des prestations familiales servies en métropole, en Guadeloupe, en Guyane, en Martinique, à La Réunion, à Saint-Barthélemy, à Saint-Martin et dans le département de Mayotte
+
+Au titre de l’année 2020, l’article 81 de la loi du 24 décembre 2019 de
+financement de la sécurité sociale a prévu, par dérogation aux dispositions
+de l’article L. 161-25, une revalorisation de 0,3 % du montant des prestations
+relevant de cet article.
+
+Le montant précité de la base mensuelle de calcul des allocations familiales
+(BMAF), en pourcentage duquel sont fxés les montants des prestations familiales,
+est ainsi porté de 413,16 € à 414,4 € au 1er avril 2020.
+
+```catala
+champ d'application BaseMensuelleAllocationsFamiliales :
+  définition montant
+  sous condition
+    date_courante >=@ |2020-04-01| et
+    date_courante <@ |2021-04-01|
+  conséquence égal à 414,4 €
+```
+
+## Instruction interministérielle n°DSS/2B/2021/65 du 19 mars 2021 relative à la revalorisation au 1er avril 2021 des prestations familiales servies en métropole, en Guadeloupe, en Guyane, en Martinique, à la Réunion, à Saint-Barthélemy, à Saint-Martin et dans le département de Mayotte
+
+Au 1er avril 2021, le coefficient de revalorisation de la BMAF est ainsi fixé à
+1,001 soit un taux de revalorisation de la BMAF de 0,1 %. Le montant de cette
+base mensuelle, en pourcentage duquel sont fixées les prestations familiales,
+est donc porté de 414,4 € au 1er avril 2020 à 414,81 € au 1er avril 2021.
+
+```catala
+champ d'application BaseMensuelleAllocationsFamiliales :
+  définition montant
+  sous condition
+    date_courante >=@ |2021-04-01| et
+    date_courante <@ |2022-04-01|
+  conséquence égal à 414,81 €
+```

examples/base_mensuelle_allocations_familiales/output/bmaf.catala_fr.Typecheck

@@ -0,0 +1 @@
+[RESULT] Typechecking successful!

examples/prestations_familiales/Makefile

@@ -0,0 +1,4 @@
+CATALA_LANG=fr
+SRC=prestations_familiales.catala_fr
+
+include ../Makefile.common.mk

examples/prestations_familiales/output/prestations_familiales.catala_fr.Typecheck

@@ -0,0 +1 @@
+[RESULT] Typechecking successful!

examples/prestations_familiales/prestations_familiales.catala_fr

@@ -0,0 +1,10 @@
+> Inclusion: ../smic/smic.catala_fr
+
+> Inclusion: prologue.catala_fr
+
+# Code de la sécurité sociale
+
+> Inclusion: sécurité_sociale_L.catala_fr
+
+> Inclusion: sécurité_sociale_R.catala_fr
+

examples/prestations_familiales/prologue.catala_fr

@@ -0,0 +1,54 @@
+# Prologue
+
+Avant de présenter les textes réglementaires qui régissent le calcul des
+allocations familiales, il est nécessaire de définir les structures de données
+informatiques qui modélisent la situation dont parlent ces textes législatifs.
+
+```catala-metadata
+déclaration énumération PriseEnChargeEnfant :
+  -- GardeAlternéePartageAllocations
+  -- GardeAlternéeAllocataireUnique
+  -- EffectiveEtPermanente
+  -- ServicesSociauxAllocationVerséeÀLaFamille
+  -- ServicesSociauxAllocationVerséeAuxServicesSociaux
+
+déclaration énumération SituationObligationScolaire:
+  -- Avant
+  -- Pendant
+  -- Après
+
+déclaration structure EnfantPrestationsFamiliales :
+  donnée identifiant contenu entier
+  donnée obligation_scolaire contenu SituationObligationScolaire
+  donnée rémuneration_mensuelle contenu argent
+  donnée date_de_naissance contenu date
+  donnée âge contenu entier
+  donnée prise_en_charge contenu PriseEnChargeEnfant
+  donnée a_déjà_ouvert_droit_aux_allocations_familiales contenu booléen
+  donnée bénéficie_titre_personnel_aide_personnelle_logement contenu booléen
+
+déclaration énumération ÉlémentPrestationsFamiliales:
+  -- PrestationAccueilJeuneEnfant
+  -- AllocationsFamiliales
+  -- ComplémentFamilial
+  -- AllocationLogement
+  -- AllocationÉducationEnfantHandicapé
+  -- AllocationSoutienFamilial
+  -- AllocationRentréeScolaire
+  -- AllocationJournalièrePresenceParentale
+
+déclaration champ d'application ÉligibilitéPrestationsFamiliales:
+  sortie droit_ouvert condition dépend de EnfantPrestationsFamiliales
+  sortie conditions_hors_âge condition dépend de EnfantPrestationsFamiliales
+  interne plafond_l512_3_2 contenu argent
+  sortie âge_l512_3_2 contenu entier
+  sortie régime_outre_mer_l751_1 condition
+  entrée date_courante contenu date
+  entrée prestation_courante contenu ÉlémentPrestationsFamiliales
+  entrée résidence contenu Collectivité
+  smic champ d'application Smic
+
+champ d'application ÉligibilitéPrestationsFamiliales:
+  définition smic.résidence égal à résidence
+  définition smic.date_courante égal à date_courante
+```

examples/prestations_familiales/sécurité_sociale_L.catala_fr

@@ -0,0 +1,110 @@
+## Partie législative
+
+### Livre 5 : Prestations familiales et prestations assimilées
+
+#### Titre 1 : Champ d'application - Généralités
+
+##### Chapitre 1er : Liste des prestations
+
+###### Article L511-1|LEGIARTI000038834530
+
+Les prestations familiales comprennent :
+
+1°) la prestation d'accueil du jeune enfant ;
+
+2°) les allocations familiales ;
+
+3°) le complément familial ;
+
+4°) L'allocation de logement régie par les dispositions du livre VIII du code de la construction et de l'habitation ;
+
+5°) l'allocation d'éducation de l'enfant handicapé ;
+
+6°) l'allocation de soutien familial ;
+
+7°) l'allocation de rentrée scolaire ;
+
+8°) (Abrogé) ;
+
+9°) l'allocation journalière de présence parentale.
+
+```catala
+# Voir l'énumération ÉlémentPrestationsFamiliale
+```
+
+##### Chapitre 2 : Champ d'application
+
+###### Article L512-3|LEGIARTI000038834523
+
+Sous réserve des règles particulières à chaque prestation,
+ouvre droit aux prestations familiales :
+
+1°) tout enfant jusqu'à la fin de l'obligation scolaire ;
+
+```catala
+champ d'application ÉligibilitéPrestationsFamiliales :
+  étiquette cas_base règle droit_ouvert de enfant sous condition
+    enfant.obligation_scolaire sous forme Avant ou
+    enfant.obligation_scolaire sous forme Pendant
+  conséquence rempli
+```
+
+2°) après la fin de l'obligation scolaire, et jusqu'à un âge limite,
+tout enfant dont la rémunération éventuelle n'excède pas un plafond.
+
+```catala
+champ d'application ÉligibilitéPrestationsFamiliales :
+  étiquette cas_base règle droit_ouvert de enfant sous condition
+    enfant.obligation_scolaire sous forme Après et
+    (enfant.rémuneration_mensuelle <=€ plafond_l512_3_2) et
+    (enfant.EnfantPrestationsFamiliales.âge < âge_l512_3_2)
+  conséquence rempli
+
+  # On définit les conditions hors âge d'abord car elles
+  # sont référencées plus tard dans l'article L521-1
+  règle conditions_hors_âge de enfant sous condition
+    enfant.obligation_scolaire sous forme Avant ou
+    enfant.obligation_scolaire sous forme Pendant ou
+    enfant.obligation_scolaire sous forme Après et
+    (enfant.rémuneration_mensuelle <=€ plafond_l512_3_2)
+  conséquence rempli
+```
+
+Toutefois, pour l'attribution du complément familial et de l'allocation
+de logement mentionnés aux 3° et 4° de l'article L. 511-1 , l'âge limite
+peut être différent de celui mentionné au 2° du présent article.
+
+```catala
+# Sera géré avec une exception dans Catala. Le texte est équivalent
+# à une méta-propriété du code à vérifier : i.e. pas d'exceptions pour
+# cet âge azutre part que pour Complément Familial ou AllocationLogement.
+```
+
+
+### Livre 7 : Régimes divers - Dispositions diverses
+
+#### Titre 5 : Dispositions particulières à la Guadeloupe, à la Guyane, à la Martinique, à La Réunion, à Saint-Barthélemy et à Saint-Martin
+
+##### Chapitre 1er : Généralités
+
+###### Article L751-1|LEGIARTI000031323778
+
+Les dispositions du présent titre s'appliquent en Guadeloupe, en Guyane,
+en Martinique, à La Réunion, à Saint-Barthélemy et à Saint-Martin à
+l'ensemble des bénéficiaires de la législation générale de sécurité
+sociale, y compris les membres des professions agricoles.
+
+```catala
+# Angle mort: ici nous n'avons pas formalisé la partie sur la législation
+# générale de sécurité sociale et les membres des professions agricoles.
+
+champ d'application ÉligibilitéPrestationsFamiliales :
+  règle régime_outre_mer_l751_1 sous condition
+    (résidence = Guadeloupe) ou
+    (résidence = Guyane) ou
+    (résidence = Martinique) ou
+    (résidence = LaRéunion) ou
+    (résidence = SaintBarthélemy) ou
+    (résidence = SaintMartin)
+  conséquence rempli
+```

examples/prestations_familiales/sécurité_sociale_R.catala_fr

@@ -0,0 +1,65 @@
+## Partie réglementaire - Décrets en Conseil d'Etat
+
+### Livre 5 : Prestations familiales et prestations assimilées
+
+#### Titre 1 : Champ d'application - Généralités
+
+##### Chapitre 2 : Champ d'application.
+
+###### Article R512-2|LEGIARTI000006750602
+
+Les enfants ouvrent droit aux prestations familiales jusqu'à l'âge de vingt
+ans sous réserve que leur rémunération n'excède pas le plafond fixé au deuxième
+alinéa du présent article.
+
+```catala
+# Attention: ici la condition de ressources au dessous du plafond est une répétition
+# par rapport au texte de L512-3. On ne remet donc pas le code ici correspondant
+# à cette limitation.
+
+champ d'application ÉligibilitéPrestationsFamiliales :
+  définition âge_l512_3_2 égal à 20
+```
+
+Le plafond de rémunération mentionné au 2° de l'article L. 512-3 est égal, pour
+un mois, à 55 % du salaire minimum interprofessionnel de croissance défini aux
+articles L. 141-1 à L. 141-9 du code du travail, multiplié par 169.
+
+
+```catala
+champ d'application ÉligibilitéPrestationsFamiliales :
+  définition plafond_l512_3_2 égal à
+   (smic.brut_horaire *€ 55 %) *€ 169,0
+```
+
+Pour ceux des enfants qui bénéficient d'avantages en nature, l'évaluation de ces
+avantages devra être faite suivant les barèmes fixés pour l'application de la
+législation sur les assurances sociales.
+
+
+```catala
+# Le programme Catala ne tient pas en compte des avantages en nature.
+# TODO: Liane, faire de la recherche juridique sur le sujet.
+```
+
+### Livre 7 : Régimes divers - Dispositions diverses
+
+#### Titre 5 : Départements d'outre-mer
+
+##### Chapitre 5 : Prestations familiales et prestations assimilées
+
+###### Article R755-0-2|LEGIARTI000006752633
+
+Le plafond de rémunération des enfants à charge mentionnés à l'article
+L. 512-3 est égal, pour un mois, à 55 % du salaire minimum de croissance en
+vigueur dans chacun des départements mentionnés à l'article L. 751-1 ,
+multiplié par 169.
+
+```catala
+champ d'application ÉligibilitéPrestationsFamiliales :
+  exception
+  définition plafond_l512_3_2
+  sous condition régime_outre_mer_l751_1
+  conséquence égal à
+    (smic.brut_horaire *€ 55%) *€ 169,0
+```

examples/prestations_familiales/tests/output/tests_ouverture_droits.catala_fr.Test1.Interpret

@@ -0,0 +1 @@
+[RESULT] Computation successful!

examples/prestations_familiales/tests/tests_ouverture_droits.catala_fr

@@ -0,0 +1,66 @@
+> Inclusion: ../prestations_familiales.catala_fr
+
+# Tests
+
+```catala
+déclaration champ d'application Données:
+  sortie enfant1 contenu EnfantPrestationsFamiliales
+  sortie enfant2 contenu EnfantPrestationsFamiliales
+  sortie enfant3 contenu EnfantPrestationsFamiliales
+  sortie enfant4 contenu EnfantPrestationsFamiliales
+
+champ d'application Données:
+  définition enfant1 égal à EnfantPrestationsFamiliales {
+    -- identifiant: 1
+    -- obligation_scolaire : Pendant
+    -- date_de_naissance: |2007-01-01|
+    -- âge: 13
+    -- rémuneration_mensuelle: 0€
+    -- prise_en_charge: EffectiveEtPermanente
+    -- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
+    -- bénéficie_titre_personnel_aide_personnelle_logement: faux
+  }
+  définition enfant2 égal à EnfantPrestationsFamiliales {
+    -- identifiant: 2
+    -- obligation_scolaire : Après
+    -- date_de_naissance: |2003-01-01|
+    -- âge: 18
+    -- rémuneration_mensuelle: 1000€
+    -- prise_en_charge: EffectiveEtPermanente
+    -- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
+    -- bénéficie_titre_personnel_aide_personnelle_logement: faux
+  }
+  définition enfant3 égal à EnfantPrestationsFamiliales {
+    -- identifiant: 3
+    -- obligation_scolaire : Après
+    -- date_de_naissance: |2003-01-01|
+    -- âge: 18
+    -- rémuneration_mensuelle: 400€
+    -- prise_en_charge: EffectiveEtPermanente
+    -- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
+    -- bénéficie_titre_personnel_aide_personnelle_logement: faux
+  }
+  définition enfant4 égal à EnfantPrestationsFamiliales {
+    -- identifiant: 4
+    -- obligation_scolaire : Après
+    -- date_de_naissance: |1999-01-01|
+    -- âge: 21
+    -- rémuneration_mensuelle: 0€
+    -- prise_en_charge: EffectiveEtPermanente
+    -- a_déjà_ouvert_droit_aux_allocations_familiales: vrai
+    -- bénéficie_titre_personnel_aide_personnelle_logement: faux
+  }
+
+déclaration champ d'application Test1:
+  données champ d'application Données
+  f champ d'application ÉligibilitéPrestationsFamiliales
+
+champ d'application Test1:
+  définition f.date_courante égal à |2020-05-01|
+  définition f.prestation_courante égal à AllocationsFamiliales
+  définition f.résidence égal à Métropole
+  assertion (f.droit_ouvert de données.enfant1)
+  assertion (non (f.droit_ouvert de données.enfant2))
+  assertion (f.droit_ouvert de données.enfant3)
+  assertion (non (f.droit_ouvert de données.enfant4))
+```

examples/prologue_france/Makefile

@@ -0,0 +1,4 @@
+CATALA_LANG=fr
+SRC=prologue.catala_fr
+
+include ../Makefile.common.mk

examples/prologue_france/output/prologue.catala_fr.Typecheck

@@ -0,0 +1 @@
+[ERROR] There isn't any scope inside the program.

examples/prologue_france/prologue.catala_fr

@@ -0,0 +1,12 @@
+```catala-metadata
+déclaration énumération Collectivité :
+  -- Guadeloupe
+  -- Guyane
+  -- Martinique
+  -- LaRéunion
+  -- SaintBarthélemy
+  -- SaintMartin
+  -- Métropole
+  -- SaintPierreEtMiquelon
+  -- Mayotte
+```

examples/smic/Makefile

@@ -0,0 +1,4 @@
+CATALA_LANG=fr
+SRC=smic.catala_fr
+
+include ../Makefile.common.mk

examples/smic/output/smic.catala_fr.Typecheck

@@ -0,0 +1 @@
+[RESULT] Typechecking successful!

examples/smic/smic.catala_fr

@@ -0,0 +1,129 @@
+# Montant du salaire minimum de croissance
+
+## Prologue
+
+> Inclusion: ../prologue_france/prologue.catala_fr
+
+```catala-metadata
+déclaration champ d'application Smic :
+  entrée date_courante contenu date
+  entrée résidence contenu Collectivité
+  sortie brut_horaire contenu argent
+```
+
+## Décret n° 2018-1173 du 19 décembre 2018 portant relèvement du salaire minimum de croissance
+
+### Article 1|JORFARTI000037833214
+
+A compter du 1er janvier 2019, pour les catégories de travailleurs mentionnés à
+l'article L. 2211-1 du code du travail, le montant du salaire minimum de
+croissance est relevé dans les conditions ci-après :
+
+1° En métropole, en Guadeloupe, en Guyane, en Martinique, à La Réunion,
+à Saint-Barthélemy, à Saint-Martin et à Saint-Pierre-et-Miquelon,
+son montant est porté à 10,03 € l'heure.
+
+```catala
+champ d'application Smic :
+  définition brut_horaire sous condition
+    date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31| et (
+      (résidence = Métropole) ou
+      (résidence = Guadeloupe) ou
+      (résidence = Guyane) ou
+      (résidence = Martinique) ou
+      (résidence = LaRéunion) ou
+      (résidence = SaintBarthélemy) ou
+      (résidence = SaintMartin) ou
+      (résidence = SaintPierreEtMiquelon)
+    )
+  conséquence égal à 10,03 €
+```
+
+2° A Mayotte, son montant est fixé à 7,57 € l'heure.
+
+```catala
+champ d'application Smic :
+  définition brut_horaire sous condition
+    date_courante >=@ |2019-01-01| et date_courante <=@ |2019-12-31| et (
+      (résidence = Mayotte)
+    )
+  conséquence égal à 7,57 €
+```
+
+## Décret n° 2019-1387 du 18 décembre 2019 portant relèvement du salaire minimum de croissance
+
+### Article 1|LEGIARTI000039640195
+
+A compter du 1er janvier 2020, pour les catégories de travailleurs mentionnés à
+l' article L. 2211-1 du code du travail , le montant du salaire minimum de
+croissance est relevé dans les conditions ci-après :
+
+1° En métropole, en Guadeloupe, en Guyane, en Martinique, à La Réunion,
+à Saint-Barthélemy, à Saint-Martin et à Saint-Pierre-et-Miquelon,
+son montant est porté à 10,15 € l'heure ;
+
+```catala
+champ d'application Smic :
+  définition brut_horaire sous condition
+    date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31| et (
+      (résidence = Métropole) ou
+      (résidence = Guadeloupe) ou
+      (résidence = Guyane) ou
+      (résidence = Martinique) ou
+      (résidence = LaRéunion) ou
+      (résidence = SaintBarthélemy) ou
+      (résidence = SaintMartin) ou
+      (résidence = SaintPierreEtMiquelon)
+    )
+  conséquence égal à 10,15 €
+```
+
+2° A Mayotte, son montant est fixé à 7,66 € l'heure.
+
+```catala
+champ d'application Smic :
+  définition brut_horaire sous condition
+    date_courante >=@ |2020-01-01| et date_courante <=@ |2020-12-31| et (
+      (résidence = Mayotte)
+    )
+  conséquence égal à 7,66 €
+```
+
+## Décret n° 2020-1598 du 16 décembre 2020 portant relèvement du salaire minimum de croissance
+
+### Article 1|JORFARTI000042677367
+
+A compter du 1er janvier 2021, pour les catégories de travailleurs mentionnés à
+l'article L. 2211-1 du code du travail, le montant du salaire minimum de
+croissance est relevé dans les conditions ci-après :
+
+1° En métropole, en Guadeloupe, en Guyane, en Martinique, à La Réunion,
+à Saint-Barthélemy, à Saint-Martin et à Saint-Pierre-et-Miquelon,
+son montant est porté à 10,25 € l'heure ;
+
+```catala
+champ d'application Smic :
+  définition brut_horaire sous condition
+    date_courante >=@ |2021-01-01| et date_courante <=@ |2021-12-31| et (
+      (résidence = Métropole) ou
+      (résidence = Guadeloupe) ou
+      (résidence = Guyane) ou
+      (résidence = Martinique) ou
+      (résidence = LaRéunion) ou
+      (résidence = SaintBarthélemy) ou
+      (résidence = SaintMartin) ou
+      (résidence = SaintPierreEtMiquelon)
+    )
+  conséquence égal à 10,25 €
+```
+
+2° A Mayotte, son montant est fixé à 7,74 € l'heure.
+
+```catala
+champ d'application Smic :
+  définition brut_horaire sous condition
+    date_courante >=@ |2021-01-01| et date_courante <=@ |2021-12-31| et (
+      (résidence = Mayotte)
+    )
+  conséquence égal à 7,74 €
+```