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