Main loads in and checks the adder example for validity. Currently only capable of checking for correct/incorrect circuit calls.
Can now check for correct references to variables.
Added a comment to myself.