build_flat_model [-h]
Compiles the flattened hierarchy into SEXP (initial states, invariants, and transition relation).