The invention relates to an ionic liquid composition and a method for preparing the ionic liquid. It uses the resistor ladder that is structured with various fixed resistors to implement the shunt control means. One or more correctness assertions regarding program state of the graphical program are specified in response to user input, and a proof obligation generated based on the graphical program and the correctness assertions, which is usable by a theorem prover to determine correctness of the graphical program. In another embodiment, all of the programming process include programming data.