Basic state

This part contains information about the configuration of visibility of values and output values in the program generators basic state.