Artifact for A Calculus for Esterel