1. A computer-implemented method of processing a computer language, comprising: reading computer code comprising at least one variable and a code transaction; detecting a statement within the code, wherein the statement specifies the code transaction and indicates that in a first logic path an exception occurred in the code transaction and in a second logic path an exception did not occur in the code transaction; analyzing the code transaction according to each logic path and determining an assignment state of the at least one variable in the first and second logic paths; merging the assignment state of the at least one variable as determined in the first logic path with the assignment state of the at least one variable as determined in the second logic path; and determining whether a function is performed within the code with respect to the variable while the variable has a merged assignment state being an incorrect assignment state and, if so, declaring the function to be invalid.