Library prosa.analysis.facts.behavior.all

Require Export prosa.analysis.facts.behavior.service.
Require Export prosa.analysis.facts.behavior.completion.
Require Export prosa.analysis.facts.behavior.arrivals.
Require Export prosa.analysis.facts.behavior.deadlines.