This file describes the semantics to validate translation from a lustre source toward an imperative language