* Implement Formula generation
* Each module state is associated with a formula so that we
  can use a formula to designated a special component state.