TopCoder Statistics - Problem Statement

Problem Statement

You are to write the part of a compiler that generates warning messages. The programming language is a simple script language where the only statements are assignments, IF-THEN-ELSE constructions and RETURN. Variable names are limited to single upper case letters, and they're always 32-bit signed integers. Given a syntactically correct function written in this language, generate the appropriate warning messages as described below.

The syntax of the language only allows one statement per line. Lines will not have leading or trailing spaces and tokens will be separated by exactly one space. Formally, the syntax for each line is as follows:

<line>       :: <head> | <assignment> | <if> | ELSE | END IF | <return>
<head>       :: PARAM <paramlist> | PARAM
<assignment> :: <variable> = <rvalue>
<if>         :: IF <variable> <relation> <value> THEN
<return>     :: RETURN <value>
<paramlist>  :: <variable> | <variable> <paramlist>
<rvalue>     :: <value> | <value> <operator> <value>
<value>      :: <variable> | <integer>
<operator>   :: + | - | * | /
<relation>   :: < | = | >
<variable>   :: A | B | ... | Z
<integer>    :: A 32-bit signed integer (without leading zeros)

The first line in the function will always be the function head (PARAM, optionally followed by a space separated list of variables) and the last line will always contain a RETURN statement. No other line may contain a function head, although RETURN statements can occur elsewhere as well.

Furthermore, each IF-statement has a corresponding END IF-statement and an optional ELSE-statement in between. The IF-statements may be nested, but then they will always be properly nested. An IF-statement will always compare a variable with an integer or a different variable.

You should generate two different warnings, where appropriate. These are: (quotes for clarity only)

"Line <line>: unreachable code"
"Line <line>: variable <variable> might not have been initialized"

The first warning should be given on lines which are never executed, no matter how the IF-statements are evaluated. Each such line will only receive this warning, and no other warnings. Lines containing ELSE and END IF statements will never receive this warning (these lines don't render into executable code by the compiler), see example 4.

The second warning should be given on lines where the value of a variable is used, but that variable might not have been assigned a value yet. A variable will have a value assigned to it if it's in the parameter list in the function head, or once it's been assigned a value by an assignment statement.

When determining which warnings to give, you should assume that all IF-statements can evaluate to either true or false, no matter which instructions have previously been executed, see example 2. Line numbers start from 1, which will always be the function head.

The warnings should be sorted primarily by line number. If a line contains several different variables that all might be uninitialized, those warning messages should be sorted alphabetically by the variable name, see example 0.

Create a class ScriptLanguage containing the method warnings that takes a String[] code, a function in the script language and returns a String[] containing the warning messages in the format specified above.

Definition

Class:: ScriptLanguage
Method:: warnings
Parameters:: String[]
Returns:: String[]
Method signature:: String[] warnings(String[] code)
(be sure your method is public)

Notes

Make sure you don't misspell the warning messages! Copy and paste from the problem statement is recommended.
If there are no warnings, return a String[] with no elements.

Constraints

code will contain between 2 and 50 elements, inclusive.
code will be a syntactically correct function.
Elements in code will not have leading or trailing spaces, and tokens will be separated by exactly one space.
The first element in code, and no other element, will be a PARAM-statement.
The variables in the PARAM-statement will all be distinct.
The last element in code will be a RETURN-statement.
An IF-statement will compare a variable with an integer or a different variable.
Integers in code will fit in a 32-bit signed integer and will not have extra leading zeros.
Each IF-statement will have a matching END IF-statement and optionally one matching ELSE-statement.

Examples

{"PARAM A B", "IF A > 5 THEN", "C = B * A", "END IF", "D = B - C", "Z = Y + X", "E = T", "F = E + E", "V = G + G", "RETURN F"}

Returns: { "Line 5: variable C might not have been initialized", "Line 6: variable X might not have been initialized", "Line 6: variable Y might not have been initialized", "Line 7: variable T might not have been initialized", "Line 9: variable G might not have been initialized" }

If the IF-statement evaluates to false, C will not be initialized, hence the warning message on line 5. Also note that even though T is uninitialized, E and F shouldn't be considered uninitialized on line 8 and 10, even though their values are unknown. Finally note that there should only be one warning mentioning variable G on line 9.
{"PARAM G", "RETURN G", "B = K", "RETURN C"}

Returns: { "Line 3: unreachable code", "Line 4: unreachable code" }

Notice that there should only be the "unreachable code" warning message on lines 3 and 4.
{"PARAM T C", "B = T", "A = 4", "IF A < 4 THEN", "IF B > 3 THEN", "Q = 100 + F", "ELSE", "IF C = -1111111111 THEN", "Q = T - A", "IF Q = 0 THEN", "V = V - 1", "END IF", "ELSE", "RETURN I", "E = A", "END IF", "END IF", "ELSE", "Q = 1", "END IF", "RETURN Q"}

Returns: { "Line 6: variable F might not have been initialized", "Line 11: variable V might not have been initialized", "Line 14: variable I might not have been initialized", "Line 15: unreachable code" }

This function contains several nested IF-statements. Notice that the line "IF A < 4 THEN" should be considered to be able to evaluate to both true and false even though the line before it says "A = 4".
{"PARAM", "IF A > 0 THEN", "ELSE", "END IF", "IF A > 0 THEN", "END IF", "IF A > 0 THEN", "A = 2", "ELSE", "IF A > 0 THEN", "END IF", "A = 3", "END IF", "IF A < 0 THEN", "END IF", "RETURN A"}

Returns: { "Line 2: variable A might not have been initialized", "Line 5: variable A might not have been initialized", "Line 7: variable A might not have been initialized", "Line 10: variable A might not have been initialized" }
{"PARAM I J K L T", "IF I > 10 THEN", "IF I < 100 THEN", "IF J > 10 THEN", "IF J < 100 THEN", "IF K > 10 THEN", "IF K < 100 THEN", "IF L > 10 THEN", "IF L < 100 THEN", "A = I + J", "B = K + L", "C = A + B", "RETURN C", "IF T > 4 THEN", "ELSE", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "RETURN -1"}

Returns: { "Line 14: unreachable code" }
{"PARAM A", "A = A + A", "A = A * A", "A = A - A", "A = A / A", "RETURN A"}

Returns: { }

Finally a program without warnings!
{"PARAM T S C D E F G H I J K L M N O P Q R B A U V","RETURN -123123"}

Returns: { }
{"PARAM C","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","IF A > 0 THEN","ELSE","END IF","RETURN C"}

Returns: { "Line 2: variable A might not have been initialized", "Line 5: variable A might not have been initialized", "Line 8: variable A might not have been initialized", "Line 11: variable A might not have been initialized", "Line 14: variable A might not have been initialized", "Line 17: variable A might not have been initialized", "Line 20: variable A might not have been initialized", "Line 23: variable A might not have been initialized", "Line 26: variable A might not have been initialized", "Line 29: variable A might not have been initialized", "Line 32: variable A might not have been initialized", "Line 35: variable A might not have been initialized", "Line 38: variable A might not have been initialized", "Line 41: variable A might not have been initialized", "Line 44: variable A might not have been initialized", "Line 47: variable A might not have been initialized" }
{"PARAM A S T U V W X Y Z","IF A = 1 THEN","A = 3","END IF","IF B = 1 THEN","B = 4","END IF","IF C = 1 THEN","C = 5","END IF","IF D = 1 THEN","D = 6","END IF","IF E = 1 THEN","E = 7","END IF","IF F = 1 THEN","F = 8","END IF","IF G = 1 THEN","G = 9","END IF","IF H = 1 THEN","H = 10","END IF","IF I = 1 THEN","I = 11","END IF","IF J = 1 THEN","J = 12","END IF","IF K = 1 THEN","K = 13","END IF","IF L = 1 THEN","L = 14","END IF","IF M = 1 THEN","M = 15","END IF","IF N = 1 THEN","N = 16","END IF","IF O = 1 THEN","O = 17","END IF","IF P = 1 THEN","P = 18","END IF","RETURN R"}

Returns: { "Line 5: variable B might not have been initialized", "Line 8: variable C might not have been initialized", "Line 11: variable D might not have been initialized", "Line 14: variable E might not have been initialized", "Line 17: variable F might not have been initialized", "Line 20: variable G might not have been initialized", "Line 23: variable H might not have been initialized", "Line 26: variable I might not have been initialized", "Line 29: variable J might not have been initialized", "Line 32: variable K might not have been initialized", "Line 35: variable L might not have been initialized", "Line 38: variable M might not have been initialized", "Line 41: variable N might not have been initialized", "Line 44: variable O might not have been initialized", "Line 47: variable P might not have been initialized", "Line 50: variable R might not have been initialized" }
{"PARAM V","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","IF T > 0 THEN","END IF","RETURN T"}

Returns: { "Line 2: variable T might not have been initialized", "Line 4: variable T might not have been initialized", "Line 6: variable T might not have been initialized", "Line 8: variable T might not have been initialized", "Line 10: variable T might not have been initialized", "Line 12: variable T might not have been initialized", "Line 14: variable T might not have been initialized", "Line 16: variable T might not have been initialized", "Line 18: variable T might not have been initialized", "Line 20: variable T might not have been initialized", "Line 22: variable T might not have been initialized", "Line 24: variable T might not have been initialized", "Line 26: variable T might not have been initialized", "Line 28: variable T might not have been initialized", "Line 30: variable T might not have been initialized", "Line 32: variable T might not have been initialized", "Line 34: variable T might not have been initialized", "Line 36: variable T might not have been initialized", "Line 38: variable T might not have been initialized", "Line 40: variable T might not have been initialized", "Line 42: variable T might not have been initialized", "Line 44: variable T might not have been initialized", "Line 46: variable T might not have been initialized", "Line 48: variable T might not have been initialized", "Line 50: variable T might not have been initialized" }
{"PARAM J K L M N O P Q R S T U V W X Y Z A F G H I","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","A = B + C","A = D / E","A = B * C","A = D - E","RETURN -2147483648"}

Returns: { "Line 2: variable B might not have been initialized", "Line 2: variable C might not have been initialized", "Line 3: variable D might not have been initialized", "Line 3: variable E might not have been initialized", "Line 4: variable B might not have been initialized", "Line 4: variable C might not have been initialized", "Line 5: variable D might not have been initialized", "Line 5: variable E might not have been initialized", "Line 6: variable B might not have been initialized", "Line 6: variable C might not have been initialized", "Line 7: variable D might not have been initialized", "Line 7: variable E might not have been initialized", "Line 8: variable B might not have been initialized", "Line 8: variable C might not have been initialized", "Line 9: variable D might not have been initialized", "Line 9: variable E might not have been initialized", "Line 10: variable B might not have been initialized", "Line 10: variable C might not have been initialized", "Line 11: variable D might not have been initialized", "Line 11: variable E might not have been initialized", "Line 12: variable B might not have been initialized", "Line 12: variable C might not have been initialized", "Line 13: variable D might not have been initialized", "Line 13: variable E might not have been initialized", "Line 14: variable B might not have been initialized", "Line 14: variable C might not have been initialized", "Line 15: variable D might not have been initialized", "Line 15: variable E might not have been initialized", "Line 16: variable B might not have been initialized", "Line 16: variable C might not have been initialized", "Line 17: variable D might not have been initialized", "Line 17: variable E might not have been initialized", "Line 18: variable B might not have been initialized", "Line 18: variable C might not have been initialized", "Line 19: variable D might not have been initialized", "Line 19: variable E might not have been initialized", "Line 20: variable B might not have been initialized", "Line 20: variable C might not have been initialized", "Line 21: variable D might not have been initialized", "Line 21: variable E might not have been initialized", "Line 22: variable B might not have been initialized", "Line 22: variable C might not have been initialized", "Line 23: variable D might not have been initialized", "Line 23: variable E might not have been initialized", "Line 24: variable B might not have been initialized", "Line 24: variable C might not have been initialized", "Line 25: variable D might not have been initialized", "Line 25: variable E might not have been initialized", "Line 26: variable B might not have been initialized", "Line 26: variable C might not have been initialized", "Line 27: variable D might not have been initialized", "Line 27: variable E might not have been initialized", "Line 28: variable B might not have been initialized", "Line 28: variable C might not have been initialized", "Line 29: variable D might not have been initialized", "Line 29: variable E might not have been initialized", "Line 30: variable B might not have been initialized", "Line 30: variable C might not have been initialized", "Line 31: variable D might not have been initialized", "Line 31: variable E might not have been initialized", "Line 32: variable B might not have been initialized", "Line 32: variable C might not have been initialized", "Line 33: variable D might not have been initialized", "Line 33: variable E might not have been initialized", "Line 34: variable B might not have been initialized", "Line 34: variable C might not have been initialized", "Line 35: variable D might not have been initialized", "Line 35: variable E might not have been initialized", "Line 36: variable B might not have been initialized", "Line 36: variable C might not have been initialized", "Line 37: variable D might not have been initialized", "Line 37: variable E might not have been initialized", "Line 38: variable B might not have been initialized", "Line 38: variable C might not have been initialized", "Line 39: variable D might not have been initialized", "Line 39: variable E might not have been initialized", "Line 40: variable B might not have been initialized", "Line 40: variable C might not have been initialized", "Line 41: variable D might not have been initialized", "Line 41: variable E might not have been initialized", "Line 42: variable B might not have been initialized", "Line 42: variable C might not have been initialized", "Line 43: variable D might not have been initialized", "Line 43: variable E might not have been initialized", "Line 44: variable B might not have been initialized", "Line 44: variable C might not have been initialized", "Line 45: variable D might not have been initialized", "Line 45: variable E might not have been initialized", "Line 46: variable B might not have been initialized", "Line 46: variable C might not have been initialized", "Line 47: variable D might not have been initialized", "Line 47: variable E might not have been initialized", "Line 48: variable B might not have been initialized", "Line 48: variable C might not have been initialized", "Line 49: variable D might not have been initialized", "Line 49: variable E might not have been initialized" }
{"PARAM A D","E = 1","IF A > 3 THEN","B = A + 2","RETURN B","ELSE","C = A / 2","RETURN C","END IF","IF A < 1 THEN","B = E + 2","RETURN B","ELSE","C = D / 2","RETURN C","END IF","RETURN 1"}

Returns: { "Line 10: unreachable code", "Line 11: unreachable code", "Line 12: unreachable code", "Line 14: unreachable code", "Line 15: unreachable code", "Line 17: unreachable code" }
{"PARAM","RETURN 0","E = 1","RETURN 0"}

Returns: { "Line 3: unreachable code", "Line 4: unreachable code" }
{"PARAM A B", "D = B", "RETURN A"}

Returns: { }
{"PARAM", "IF A > 0 THEN","A = B + C","END IF", "IF A > 0 THEN","B = B + C","END IF", "IF A > 0 THEN","C = B + C","END IF", "IF A > 0 THEN","D = B + C","END IF", "IF A > 0 THEN","E = B + C","END IF", "IF A > 0 THEN","F = B + C","END IF", "IF A > 0 THEN","G = B + C","END IF", "IF A > 0 THEN","H = B + C","END IF", "IF A > 0 THEN","I = B + C","END IF", "IF A > 0 THEN","J = B + C","END IF", "IF A > 0 THEN","K = B + C","END IF", "IF A > 0 THEN","L = B + C","END IF", "IF A > 0 THEN","M = B + C","END IF", "IF A > 0 THEN","N = B + C","END IF", "IF A > 0 THEN","O = B + C","END IF", "IF A > 0 THEN","P = B + C","END IF", "RETURN A" }

Returns: { "Line 2: variable A might not have been initialized", "Line 3: variable B might not have been initialized", "Line 3: variable C might not have been initialized", "Line 5: variable A might not have been initialized", "Line 6: variable B might not have been initialized", "Line 6: variable C might not have been initialized", "Line 8: variable A might not have been initialized", "Line 9: variable B might not have been initialized", "Line 9: variable C might not have been initialized", "Line 11: variable A might not have been initialized", "Line 12: variable B might not have been initialized", "Line 12: variable C might not have been initialized", "Line 14: variable A might not have been initialized", "Line 15: variable B might not have been initialized", "Line 15: variable C might not have been initialized", "Line 17: variable A might not have been initialized", "Line 18: variable B might not have been initialized", "Line 18: variable C might not have been initialized", "Line 20: variable A might not have been initialized", "Line 21: variable B might not have been initialized", "Line 21: variable C might not have been initialized", "Line 23: variable A might not have been initialized", "Line 24: variable B might not have been initialized", "Line 24: variable C might not have been initialized", "Line 26: variable A might not have been initialized", "Line 27: variable B might not have been initialized", "Line 27: variable C might not have been initialized", "Line 29: variable A might not have been initialized", "Line 30: variable B might not have been initialized", "Line 30: variable C might not have been initialized", "Line 32: variable A might not have been initialized", "Line 33: variable B might not have been initialized", "Line 33: variable C might not have been initialized", "Line 35: variable A might not have been initialized", "Line 36: variable B might not have been initialized", "Line 36: variable C might not have been initialized", "Line 38: variable A might not have been initialized", "Line 39: variable B might not have been initialized", "Line 39: variable C might not have been initialized", "Line 41: variable A might not have been initialized", "Line 42: variable B might not have been initialized", "Line 42: variable C might not have been initialized", "Line 44: variable A might not have been initialized", "Line 45: variable B might not have been initialized", "Line 45: variable C might not have been initialized", "Line 47: variable A might not have been initialized", "Line 48: variable B might not have been initialized", "Line 48: variable C might not have been initialized", "Line 50: variable A might not have been initialized" }
{"PARAM Z Y X C B","A = A","IF Z > 3 THEN","IF G < H THEN","ELSE","END IF","ELSE","IF T = S THEN","RETURN -123456789","RETURN 5","IF B > -54548 THEN","IF F > 83495 THEN","IF K > 1233 THEN","ELSE","END IF","RETURN 2","END IF","RETURN 1","END IF","ELSE","Q = 3","END IF","Q = Q","END IF","RETURN A","IF Z > 3 THEN","IF G < H THEN","ELSE","END IF","ELSE","IF T = S THEN","RETURN -123456789","RETURN 5","IF B > -54548 THEN","IF F > 83495 THEN","IF K > 1233 THEN","ELSE","END IF","RETURN 2","END IF","Q = 3","RETURN 1","END IF","ELSE","END IF","END IF","RETURN T"}

Returns: { "Line 2: variable A might not have been initialized", "Line 4: variable G might not have been initialized", "Line 4: variable H might not have been initialized", "Line 8: variable S might not have been initialized", "Line 8: variable T might not have been initialized", "Line 10: unreachable code", "Line 11: unreachable code", "Line 12: unreachable code", "Line 13: unreachable code", "Line 16: unreachable code", "Line 18: unreachable code", "Line 26: unreachable code", "Line 27: unreachable code", "Line 31: unreachable code", "Line 32: unreachable code", "Line 33: unreachable code", "Line 34: unreachable code", "Line 35: unreachable code", "Line 36: unreachable code", "Line 39: unreachable code", "Line 41: unreachable code", "Line 42: unreachable code", "Line 47: unreachable code" }
{"PARAM A B C D","IF Z > 0 THEN","END IF","IF Y < 0 THEN","END IF","IF X > 0 THEN","END IF","IF X < 0 THEN","END IF","IF V > 0 THEN","END IF","IF U < 0 THEN","END IF","IF T > 0 THEN","END IF","IF S < 0 THEN","RETURN S","G = 1","ELSE","G = 2","END IF","IF R > 0 THEN","END IF","IF Q < 0 THEN","END IF","IF P > 0 THEN","END IF","IF O < 0 THEN","END IF","IF N > 0 THEN","END IF","IF M < 0 THEN","END IF","IF L > 0 THEN","END IF","IF K < 0 THEN","END IF","IF J > 0 THEN","END IF","IF I < 0 THEN","END IF","IF H > 0 THEN","END IF","IF G < 0 THEN","END IF","IF F > 0 THEN","END IF","IF E > 0 THEN","END IF","RETURN A"}

Returns: { "Line 2: variable Z might not have been initialized", "Line 4: variable Y might not have been initialized", "Line 6: variable X might not have been initialized", "Line 8: variable X might not have been initialized", "Line 10: variable V might not have been initialized", "Line 12: variable U might not have been initialized", "Line 14: variable T might not have been initialized", "Line 16: variable S might not have been initialized", "Line 17: variable S might not have been initialized", "Line 18: unreachable code", "Line 22: variable R might not have been initialized", "Line 24: variable Q might not have been initialized", "Line 26: variable P might not have been initialized", "Line 28: variable O might not have been initialized", "Line 30: variable N might not have been initialized", "Line 32: variable M might not have been initialized", "Line 34: variable L might not have been initialized", "Line 36: variable K might not have been initialized", "Line 38: variable J might not have been initialized", "Line 40: variable I might not have been initialized", "Line 42: variable H might not have been initialized", "Line 46: variable F might not have been initialized", "Line 48: variable E might not have been initialized" }
{"PARAM A B C D","IF Z > 0 THEN","END IF","IF Y < 0 THEN","END IF","IF X > 0 THEN","END IF","IF X < 0 THEN","END IF","IF V > 0 THEN","I = 1","ELSE","I = 2","END IF","IF U < 0 THEN","END IF","IF T > 0 THEN","END IF","IF S < 0 THEN","END IF","IF R > 0 THEN","END IF","IF Q < 0 THEN","END IF","IF P > 0 THEN","END IF","IF O < 0 THEN","END IF","IF N > 0 THEN","END IF","IF M < 0 THEN","END IF","IF L > 0 THEN","END IF","IF K < 0 THEN","END IF","IF J > 0 THEN","END IF","IF I < 0 THEN","END IF","IF H > 0 THEN","END IF","IF G < 0 THEN","END IF","IF F > 0 THEN","END IF","IF E > 0 THEN","END IF","RETURN A"}

Returns: { "Line 2: variable Z might not have been initialized", "Line 4: variable Y might not have been initialized", "Line 6: variable X might not have been initialized", "Line 8: variable X might not have been initialized", "Line 10: variable V might not have been initialized", "Line 15: variable U might not have been initialized", "Line 17: variable T might not have been initialized", "Line 19: variable S might not have been initialized", "Line 21: variable R might not have been initialized", "Line 23: variable Q might not have been initialized", "Line 25: variable P might not have been initialized", "Line 27: variable O might not have been initialized", "Line 29: variable N might not have been initialized", "Line 31: variable M might not have been initialized", "Line 33: variable L might not have been initialized", "Line 35: variable K might not have been initialized", "Line 37: variable J might not have been initialized", "Line 41: variable H might not have been initialized", "Line 43: variable G might not have been initialized", "Line 45: variable F might not have been initialized", "Line 47: variable E might not have been initialized" }
{"PARAM A B C D","IF Z > 0 THEN","END IF","IF Y < 0 THEN","END IF","IF X > 0 THEN","END IF","IF X < 0 THEN","END IF","IF V > 0 THEN","Q = 1","ELSE","H = -1","END IF","IF U < 0 THEN","END IF","IF T > 0 THEN","END IF","IF S < 0 THEN","END IF","IF R > 0 THEN","END IF","IF Q < 0 THEN","END IF","IF P > 0 THEN","END IF","IF O < 0 THEN","END IF","IF N > 0 THEN","END IF","IF M < 0 THEN","END IF","IF L > 0 THEN","END IF","IF K < 0 THEN","END IF","IF J > 0 THEN","END IF","IF I < 0 THEN","END IF","IF H > 0 THEN","END IF","IF G < 0 THEN","END IF","IF F > 0 THEN","END IF","IF E > 0 THEN","END IF","RETURN A"}

Returns: { "Line 2: variable Z might not have been initialized", "Line 4: variable Y might not have been initialized", "Line 6: variable X might not have been initialized", "Line 8: variable X might not have been initialized", "Line 10: variable V might not have been initialized", "Line 15: variable U might not have been initialized", "Line 17: variable T might not have been initialized", "Line 19: variable S might not have been initialized", "Line 21: variable R might not have been initialized", "Line 23: variable Q might not have been initialized", "Line 25: variable P might not have been initialized", "Line 27: variable O might not have been initialized", "Line 29: variable N might not have been initialized", "Line 31: variable M might not have been initialized", "Line 33: variable L might not have been initialized", "Line 35: variable K might not have been initialized", "Line 37: variable J might not have been initialized", "Line 39: variable I might not have been initialized", "Line 41: variable H might not have been initialized", "Line 43: variable G might not have been initialized", "Line 45: variable F might not have been initialized", "Line 47: variable E might not have been initialized" }
{"PARAM I","IF K < A THEN","IF L 55 THEN","ELSE","IF G > F THEN","F = -70 + D","ELSE","END IF","END IF","IF F < 1301263 THEN","END IF","IF E > M THEN","END IF","I = -64794464 * D","END IF","END IF","J = 5743461 / 63","IF J > I THEN","END IF","RETURN M"}

Returns: { "Line 2: variable A might not have been initialized", "Line 2: variable K might not have been initialized", "Line 3: variable L might not have been initialized", "Line 4: variable C might not have been initialized", "Line 6: variable J might not have been initialized", "Line 8: variable F might not have been initialized", "Line 8: variable G might not have been initialized", "Line 9: variable D might not have been initialized", "Line 13: variable F might not have been initialized", "Line 15: variable E might not have been initialized", "Line 15: variable M might not have been initialized", "Line 17: variable D might not have been initialized", "Line 23: variable M might not have been initialized" }
{"PARAM B C E M","A = I - L","F = -2390 + 897736","IF N < G THEN","END IF","A = E + D","IF F < 21 THEN","IF H = -2 THEN","END IF","END IF","N = I - C","A = 223 / F","L = J - I","IF F < 8 THEN","IF D > C THEN","END IF","END IF","IF I < C THEN","END IF","IF J < 8 THEN","END IF","N = 15348 + K","K = C + H","I = K - F","RETURN K"}

Returns: { "Line 2: variable I might not have been initialized", "Line 2: variable L might not have been initialized", "Line 4: variable G might not have been initialized", "Line 4: variable N might not have been initialized", "Line 6: variable D might not have been initialized", "Line 8: variable H might not have been initialized", "Line 11: variable I might not have been initialized", "Line 13: variable I might not have been initialized", "Line 13: variable J might not have been initialized", "Line 15: variable D might not have been initialized", "Line 18: variable I might not have been initialized", "Line 20: variable J might not have been initialized", "Line 22: variable K might not have been initialized", "Line 23: variable H might not have been initialized" }
{"PARAM A G N T","G = L * 8858","IF T < 881607 THEN","IF H = 986518 THEN","END IF","IF L < C THEN","IF B = 236 THEN","Q = Q + S","IF P > D THEN","IF I = F THEN","IF S = R THEN","IF G < 5229 THEN","END IF","IF R = 98 THEN","S = 533284850 * -99713","IF S = 6430 THEN","IF D < P THEN","END IF","END IF","C = -37611661 / 43081783","IF G = 137531970 THEN","C = J * 998809645","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","RETURN I"}

Returns: { "Line 2: variable L might not have been initialized", "Line 4: variable H might not have been initialized", "Line 6: variable C might not have been initialized", "Line 6: variable L might not have been initialized", "Line 7: variable B might not have been initialized", "Line 8: variable Q might not have been initialized", "Line 8: variable S might not have been initialized", "Line 9: variable D might not have been initialized", "Line 9: variable P might not have been initialized", "Line 10: variable F might not have been initialized", "Line 10: variable I might not have been initialized", "Line 11: variable R might not have been initialized", "Line 11: variable S might not have been initialized", "Line 14: variable R might not have been initialized", "Line 17: variable D might not have been initialized", "Line 17: variable P might not have been initialized", "Line 22: variable J might not have been initialized", "Line 31: variable I might not have been initialized" }
{"PARAM A B C","I = -915374 + 4882","IF K > H THEN","IF L = J THEN","ELSE","H = K / C","END IF","IF L > I THEN","K = O + 23367354","END IF","IF M < 6 THEN","E = J - -87978","END IF","IF C A THEN","END IF","END IF","IF D > K THEN","ELSE","END IF","J = 13453 + J","B = F - L","END IF","RETURN A"}

Returns: { "Line 3: variable H might not have been initialized", "Line 3: variable K might not have been initialized", "Line 4: variable J might not have been initialized", "Line 4: variable L might not have been initialized", "Line 6: variable K might not have been initialized", "Line 8: variable L might not have been initialized", "Line 9: variable O might not have been initialized", "Line 11: variable M might not have been initialized", "Line 12: variable J might not have been initialized", "Line 17: variable K might not have been initialized", "Line 18: variable M might not have been initialized", "Line 21: variable L might not have been initialized", "Line 22: variable D might not have been initialized", "Line 22: variable F might not have been initialized", "Line 23: variable D might not have been initialized", "Line 24: variable K might not have been initialized", "Line 27: variable D might not have been initialized", "Line 27: variable K might not have been initialized", "Line 30: variable J might not have been initialized", "Line 31: variable F might not have been initialized", "Line 31: variable L might not have been initialized" }
{"PARAM D F","IF D = A THEN","A = -93023423 / D","A = C / B","IF D > B THEN","A = E + B","IF E = 752 THEN","ELSE","C = E + B","IF C < -5148158 THEN","IF B < 637 THEN","IF A > F THEN","F = F / B","END IF","F = A + E","END IF","END IF","END IF","END IF","END IF","RETURN F"}

Returns: { "Line 2: variable A might not have been initialized", "Line 4: variable B might not have been initialized", "Line 4: variable C might not have been initialized", "Line 5: variable B might not have been initialized", "Line 6: variable B might not have been initialized", "Line 6: variable E might not have been initialized", "Line 7: variable E might not have been initialized", "Line 9: variable B might not have been initialized", "Line 9: variable E might not have been initialized", "Line 11: variable B might not have been initialized", "Line 13: variable B might not have been initialized", "Line 15: variable E might not have been initialized" }
{"PARAM A F H L M","IF J = 298438308 THEN","IF O P THEN","A = J / O","IF L < M THEN","END IF","ELSE","END IF","IF I < 734839558 THEN","ELSE","END IF","E = 488142 / -419","IF H > 3 THEN","ELSE","END IF","IF O = 9 THEN","IF M > 673371609 THEN","END IF","IF P > N THEN","END IF","ELSE","END IF","IF O = G THEN","ELSE","IF E < 34 THEN","IF D > P THEN","IF H = 40 THEN","END IF","END IF","END IF","END IF","RETURN G"}

Returns: { "Line 2: variable J might not have been initialized", "Line 3: variable O might not have been initialized", "Line 3: variable P might not have been initialized", "Line 5: variable B might not have been initialized", "Line 5: variable O might not have been initialized", "Line 8: variable J might not have been initialized", "Line 8: variable K might not have been initialized", "Line 9: variable D might not have been initialized", "Line 13: variable O might not have been initialized", "Line 13: variable P might not have been initialized", "Line 14: variable J might not have been initialized", "Line 14: variable O might not have been initialized", "Line 19: variable I might not have been initialized", "Line 26: variable O might not have been initialized", "Line 29: variable N might not have been initialized", "Line 29: variable P might not have been initialized", "Line 33: variable G might not have been initialized", "Line 33: variable O might not have been initialized", "Line 36: variable D might not have been initialized", "Line 36: variable P might not have been initialized", "Line 42: variable G might not have been initialized" }
{"PARAM D F G","D = G * -665517","A = 624314 / E","IF A < 95 THEN","G = A - E","END IF","IF G < D THEN","F = E - 38403323","IF E < C THEN","IF D = F THEN","IF C < 9234 THEN","END IF","END IF","END IF","ELSE","IF F > 6232537 THEN","IF G < A THEN","END IF","END IF","B = G - 1900","IF G < A THEN","END IF","B = -367 * 3698","A = D + E","END IF","F = 2256005 / D","RETURN A"}

Returns: { "Line 3: variable E might not have been initialized", "Line 5: variable E might not have been initialized", "Line 8: variable E might not have been initialized", "Line 9: variable C might not have been initialized", "Line 9: variable E might not have been initialized", "Line 11: variable C might not have been initialized", "Line 24: variable E might not have been initialized" }
{"PARAM A B G I J O","C = E - K","P = D * F","IF I > N THEN","END IF","S = N * L","Q = L / G","R = 60 / O","IF T < C THEN","END IF","L = I / D","IF C < H THEN","IF M > F THEN","ELSE","IF Q > 69544406 THEN","IF B = Q THEN","IF S > K THEN","L = K - 676362864","IF N < D THEN","END IF","O = -9 * -2158","IF E = P THEN","IF K > 21950 THEN","END IF","IF F < K THEN","END IF","T = L / K","RETURN Q","IF D = G THEN","IF S < G THEN","T = C * N","IF J > -8 THEN","END IF","IF I = 4077513 THEN","ELSE","K = O / J","END IF","END IF","END IF","G = Q * L","END IF","IF B > R THEN","END IF","END IF","END IF","END IF","END IF","END IF","RETURN -65"}

Returns: { "Line 2: variable E might not have been initialized", "Line 2: variable K might not have been initialized", "Line 3: variable D might not have been initialized", "Line 3: variable F might not have been initialized", "Line 4: variable N might not have been initialized", "Line 6: variable L might not have been initialized", "Line 6: variable N might not have been initialized", "Line 7: variable L might not have been initialized", "Line 9: variable T might not have been initialized", "Line 11: variable D might not have been initialized", "Line 12: variable H might not have been initialized", "Line 13: variable F might not have been initialized", "Line 13: variable M might not have been initialized", "Line 17: variable K might not have been initialized", "Line 18: variable K might not have been initialized", "Line 19: variable D might not have been initialized", "Line 19: variable N might not have been initialized", "Line 22: variable E might not have been initialized", "Line 23: variable K might not have been initialized", "Line 25: variable F might not have been initialized", "Line 25: variable K might not have been initialized", "Line 27: variable K might not have been initialized", "Line 29: unreachable code", "Line 30: unreachable code", "Line 31: unreachable code", "Line 32: unreachable code", "Line 34: unreachable code", "Line 36: unreachable code", "Line 40: unreachable code" }
{"PARAM A F H K L N O Q U","G = S - C","IF R > K THEN","IF I = -964 THEN","ELSE","END IF","END IF","H = I / 65869448","P = C - 36049591","IF E < 787 THEN","END IF","IF R > -41519289 THEN","END IF","IF S < O THEN","Q = H - 365","I = C * Q","END IF","IF R = 183507 THEN","IF P > U THEN","S = 375330178 * A","END IF","END IF","M = Q * M","IF F < C THEN","L = E + S","P = 68103 * J","ELSE","END IF","IF M > S THEN","IF N > F THEN","END IF","IF P < O THEN","IF B = A THEN","O = U * 50217913","ELSE","IF J > O THEN","END IF","IF H < N THEN","END IF","END IF","END IF","END IF","E = D * -4","Q = M + 17","IF T < C THEN","ELSE","END IF","RETURN I"}

Returns: { "Line 2: variable C might not have been initialized", "Line 2: variable S might not have been initialized", "Line 3: variable R might not have been initialized", "Line 4: variable I might not have been initialized", "Line 8: variable I might not have been initialized", "Line 9: variable C might not have been initialized", "Line 10: variable E might not have been initialized", "Line 12: variable R might not have been initialized", "Line 14: variable S might not have been initialized", "Line 16: variable C might not have been initialized", "Line 18: variable R might not have been initialized", "Line 23: variable M might not have been initialized", "Line 24: variable C might not have been initialized", "Line 25: variable E might not have been initialized", "Line 25: variable S might not have been initialized", "Line 26: variable J might not have been initialized", "Line 29: variable S might not have been initialized", "Line 33: variable B might not have been initialized", "Line 36: variable J might not have been initialized", "Line 43: variable D might not have been initialized", "Line 45: variable C might not have been initialized", "Line 45: variable T might not have been initialized", "Line 48: variable I might not have been initialized" }
{"PARAM B G J K L U Y","IF W = 1 THEN","END IF","IF J < -2298 THEN","END IF","IF S < K THEN","END IF","O = E - V","Z = X - T","I = 66891839 / S","IF A > I THEN","X = T - -459","N = 5 + C","END IF","IF E > J THEN","END IF","IF J > R THEN","Q = Q + W","IF B > 1 THEN","END IF","END IF","RETURN -29456"}

Returns: { "Line 2: variable W might not have been initialized", "Line 6: variable S might not have been initialized", "Line 8: variable E might not have been initialized", "Line 8: variable V might not have been initialized", "Line 9: variable T might not have been initialized", "Line 9: variable X might not have been initialized", "Line 10: variable S might not have been initialized", "Line 11: variable A might not have been initialized", "Line 12: variable T might not have been initialized", "Line 13: variable C might not have been initialized", "Line 15: variable E might not have been initialized", "Line 17: variable R might not have been initialized", "Line 18: variable Q might not have been initialized", "Line 18: variable W might not have been initialized" }
{"PARAM A F I K L","IF F < -918 THEN","IF I > E THEN","IF K < 6101087 THEN","F = E * D","END IF","END IF","ELSE","IF B < K THEN","E = 37 - L","K = K * H","B = I * 1","IF I = J THEN","ELSE","B = 715030 * F","IF D < 66524486 THEN","END IF","IF E = 579199534 THEN","IF A > D THEN","I = -7271046 - H","G = -39026 * B","IF H > 203458 THEN","END IF","IF H > 8759 THEN","IF G = L THEN","IF B > 737 THEN","RETURN 245","END IF","END IF","END IF","IF I > 23368674 THEN","B = B / 32895","I = K + F","A = G / E","H = J * K","F = -34 * 539776749","ELSE","D = H / -42","END IF","RETURN 1238843","END IF","IF A = K THEN","ELSE","END IF","END IF","END IF","END IF","END IF","RETURN I"}

Returns: { "Line 3: variable E might not have been initialized", "Line 5: variable D might not have been initialized", "Line 5: variable E might not have been initialized", "Line 9: variable B might not have been initialized", "Line 11: variable H might not have been initialized", "Line 13: variable J might not have been initialized", "Line 16: variable D might not have been initialized", "Line 19: variable D might not have been initialized", "Line 20: variable H might not have been initialized", "Line 22: variable H might not have been initialized", "Line 24: variable H might not have been initialized", "Line 35: variable J might not have been initialized", "Line 38: variable H might not have been initialized" }
{"PARAM C H M O","IF E = A THEN","IF E > R THEN","IF O < N THEN","K = P + E","IF Q > N THEN","IF F < L THEN","END IF","END IF","END IF","END IF","IF I > M THEN","END IF","END IF","S = R * A","IF O = A THEN","IF O = -6346 THEN","IF B = P THEN","IF O > I THEN","END IF","B = R / 4013468","END IF","O = K - -194707","C = E * G","END IF","J = B - R","END IF","RETURN C"}

Returns: { "Line 2: variable A might not have been initialized", "Line 2: variable E might not have been initialized", "Line 3: variable E might not have been initialized", "Line 3: variable R might not have been initialized", "Line 4: variable N might not have been initialized", "Line 5: variable E might not have been initialized", "Line 5: variable P might not have been initialized", "Line 6: variable N might not have been initialized", "Line 6: variable Q might not have been initialized", "Line 7: variable F might not have been initialized", "Line 7: variable L might not have been initialized", "Line 12: variable I might not have been initialized", "Line 15: variable A might not have been initialized", "Line 15: variable R might not have been initialized", "Line 16: variable A might not have been initialized", "Line 18: variable B might not have been initialized", "Line 18: variable P might not have been initialized", "Line 19: variable I might not have been initialized", "Line 21: variable R might not have been initialized", "Line 23: variable K might not have been initialized", "Line 24: variable E might not have been initialized", "Line 24: variable G might not have been initialized", "Line 26: variable B might not have been initialized", "Line 26: variable R might not have been initialized" }
{"PARAM A B F H L N O","S = 24974081 + F","IF B = 390308 THEN","END IF","IF S > O THEN","END IF","IF B < L THEN","C = M - P","C = 9 + 589","IF F > -6 THEN","END IF","IF E < C THEN","IF L < H THEN","IF D = P THEN","E = 8742528 / E","R = E - 75977","C = -559762 + L","END IF","ELSE","IF H = 689 THEN","IF J > E THEN","END IF","L = 4156105 + O","END IF","END IF","IF J = 1 THEN","IF G < D THEN","ELSE","END IF","IF F = -11184518 THEN","END IF","END IF","END IF","ELSE","E = I * 58029","E = 18 + E","IF S = -151 THEN","IF G = K THEN","E = N - C","RETURN L","ELSE","END IF","END IF","END IF","RETURN D"}

Returns: { "Line 8: variable M might not have been initialized", "Line 8: variable P might not have been initialized", "Line 12: variable E might not have been initialized", "Line 14: variable D might not have been initialized", "Line 14: variable P might not have been initialized", "Line 15: variable E might not have been initialized", "Line 21: variable E might not have been initialized", "Line 21: variable J might not have been initialized", "Line 26: variable J might not have been initialized", "Line 27: variable D might not have been initialized", "Line 27: variable G might not have been initialized", "Line 35: variable I might not have been initialized", "Line 38: variable G might not have been initialized", "Line 38: variable K might not have been initialized", "Line 39: variable C might not have been initialized", "Line 45: variable D might not have been initialized" }
{"PARAM A F G L","D = D * M","IF I = 182 THEN","A = D * K","IF E = L THEN","END IF","I = C - E","IF E < -8 THEN","END IF","IF M < H THEN","IF L < A THEN","IF F = K THEN","H = D - B","G = K + F","IF H < M THEN","IF I > D THEN","H = G + F","END IF","G = 97 - K","IF H > E THEN","ELSE","IF F = 86379 THEN","IF B > D THEN","ELSE","IF D = C THEN","ELSE","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","RETURN 5"}

Returns: { "Line 2: variable D might not have been initialized", "Line 2: variable M might not have been initialized", "Line 3: variable I might not have been initialized", "Line 4: variable K might not have been initialized", "Line 5: variable E might not have been initialized", "Line 7: variable C might not have been initialized", "Line 7: variable E might not have been initialized", "Line 8: variable E might not have been initialized", "Line 10: variable H might not have been initialized", "Line 10: variable M might not have been initialized", "Line 12: variable K might not have been initialized", "Line 13: variable B might not have been initialized", "Line 14: variable K might not have been initialized", "Line 15: variable M might not have been initialized", "Line 19: variable K might not have been initialized", "Line 20: variable E might not have been initialized", "Line 23: variable B might not have been initialized", "Line 25: variable C might not have been initialized" }
{"PARAM B I K L","IF I > A THEN","K = K / D","IF I < F THEN","IF E < -1789 THEN","IF I > N THEN","N = L / G","END IF","ELSE","END IF","B = C / M","ELSE","END IF","END IF","N = H + A","IF I > -70 THEN","G = B / -60406","ELSE","IF I < E THEN","END IF","IF B < M THEN","F = A + L","D = D + I","END IF","IF B = H THEN","END IF","END IF","H = H / H","IF K = D THEN","IF G = H THEN","ELSE","END IF","ELSE","N = B + 9","END IF","RETURN E"}

Returns: { "Line 2: variable A might not have been initialized", "Line 3: variable D might not have been initialized", "Line 4: variable F might not have been initialized", "Line 5: variable E might not have been initialized", "Line 6: variable N might not have been initialized", "Line 7: variable G might not have been initialized", "Line 11: variable C might not have been initialized", "Line 11: variable M might not have been initialized", "Line 15: variable A might not have been initialized", "Line 15: variable H might not have been initialized", "Line 19: variable E might not have been initialized", "Line 21: variable M might not have been initialized", "Line 22: variable A might not have been initialized", "Line 23: variable D might not have been initialized", "Line 25: variable H might not have been initialized", "Line 28: variable H might not have been initialized", "Line 29: variable D might not have been initialized", "Line 30: variable G might not have been initialized", "Line 36: variable E might not have been initialized" }
{"PARAM A H","L = A + G","IF A > -9 THEN","END IF","IF A > C THEN","D = K / B","F = 5871703 * B","END IF","IF I < D THEN","END IF","K = L - 931","IF L < K THEN","END IF","IF D > I THEN","IF E = -1 THEN","END IF","END IF","IF F > -707 THEN","IF E > D THEN","IF F = K THEN","END IF","IF E < F THEN","L = K / F","IF G = E THEN","END IF","END IF","END IF","END IF","RETURN -734821"}

Returns: { "Line 2: variable G might not have been initialized", "Line 5: variable C might not have been initialized", "Line 6: variable B might not have been initialized", "Line 6: variable K might not have been initialized", "Line 7: variable B might not have been initialized", "Line 9: variable D might not have been initialized", "Line 9: variable I might not have been initialized", "Line 14: variable D might not have been initialized", "Line 14: variable I might not have been initialized", "Line 15: variable E might not have been initialized", "Line 18: variable F might not have been initialized", "Line 19: variable D might not have been initialized", "Line 19: variable E might not have been initialized", "Line 20: variable F might not have been initialized", "Line 22: variable E might not have been initialized", "Line 22: variable F might not have been initialized", "Line 23: variable F might not have been initialized", "Line 24: variable E might not have been initialized", "Line 24: variable G might not have been initialized" }
{"PARAM A B C F G K L","IF F = -601 THEN","K = J * A","IF K > F THEN","END IF","B = J * D","END IF","IF K = -513 THEN","E = F - N","E = E + B","IF J < G THEN","END IF","END IF","IF F > I THEN","END IF","IF J < A THEN","END IF","IF L > 60 THEN","IF K < D THEN","IF B = A THEN","IF E = J THEN","I = L * G","G = 9 + N","IF J < M THEN","N = -39 - H","N = G * A","END IF","END IF","A = M / A","N = B + -1118920","IF F = C THEN","IF F = N THEN","END IF","END IF","N = 48 / L","RETURN H","IF B < 1 THEN","IF E < M THEN","END IF","IF C = I THEN","END IF","G = 934 / E","END IF","END IF","END IF","END IF","RETURN K"}

Returns: { "Line 3: variable J might not have been initialized", "Line 6: variable D might not have been initialized", "Line 6: variable J might not have been initialized", "Line 9: variable N might not have been initialized", "Line 11: variable J might not have been initialized", "Line 14: variable I might not have been initialized", "Line 16: variable J might not have been initialized", "Line 19: variable D might not have been initialized", "Line 21: variable E might not have been initialized", "Line 21: variable J might not have been initialized", "Line 23: variable N might not have been initialized", "Line 24: variable J might not have been initialized", "Line 24: variable M might not have been initialized", "Line 25: variable H might not have been initialized", "Line 29: variable M might not have been initialized", "Line 36: variable H might not have been initialized", "Line 37: unreachable code", "Line 38: unreachable code", "Line 40: unreachable code", "Line 42: unreachable code" }
{"PARAM A B M N P R S W","A = L - X","IF T > S THEN","IF K = 2 THEN","R = 597228 - E","T = L * P","END IF","END IF","L = P - G","X = -6 + B","IF S > -1210529 THEN","END IF","IF Q > C THEN","END IF","IF F = 4909 THEN","END IF","A = -39619369 / E","IF E > L THEN","IF X = C THEN","IF N A THEN","S = C / D","END IF","IF D = 84587 THEN","END IF","IF T = N THEN","END IF","ELSE","L = E * H","END IF","END IF","END IF","RETURN R"}

Returns: { "Line 2: variable L might not have been initialized", "Line 2: variable X might not have been initialized", "Line 3: variable T might not have been initialized", "Line 4: variable K might not have been initialized", "Line 5: variable E might not have been initialized", "Line 6: variable L might not have been initialized", "Line 9: variable G might not have been initialized", "Line 13: variable C might not have been initialized", "Line 13: variable Q might not have been initialized", "Line 15: variable F might not have been initialized", "Line 17: variable E might not have been initialized", "Line 18: variable E might not have been initialized", "Line 19: variable C might not have been initialized", "Line 21: variable T might not have been initialized", "Line 24: unreachable code", "Line 25: unreachable code", "Line 28: variable H might not have been initialized", "Line 28: variable Q might not have been initialized", "Line 30: variable C might not have been initialized", "Line 30: variable D might not have been initialized", "Line 32: variable D might not have been initialized", "Line 34: variable T might not have been initialized", "Line 37: variable E might not have been initialized", "Line 37: variable H might not have been initialized" }
{"PARAM M Q","IF A = F THEN","ELSE","IF A < 7480 THEN","IF B < 3 THEN","IF B < K THEN","END IF","ELSE","C = H - 94558411","J = -272 * N","IF O > -2191 THEN","END IF","END IF","ELSE","M = I / -9702","IF M = C THEN","END IF","J = -45945655 - -1259","H = 122 * G","IF L > N THEN","ELSE","IF A = H THEN","END IF","IF E > P THEN","Q = Q - 32","RETURN B","IF J = G THEN","J = -52063583 + E","J = F / K","END IF","IF N < O THEN","END IF","END IF","END IF","RETURN 628","I = L - 24099","K = I * D","END IF","END IF","RETURN I"}

Returns: { "Line 2: variable A might not have been initialized", "Line 2: variable F might not have been initialized", "Line 4: variable A might not have been initialized", "Line 5: variable B might not have been initialized", "Line 6: variable B might not have been initialized", "Line 6: variable K might not have been initialized", "Line 9: variable H might not have been initialized", "Line 10: variable N might not have been initialized", "Line 11: variable O might not have been initialized", "Line 15: variable I might not have been initialized", "Line 16: variable C might not have been initialized", "Line 19: variable G might not have been initialized", "Line 20: variable L might not have been initialized", "Line 20: variable N might not have been initialized", "Line 22: variable A might not have been initialized", "Line 24: variable E might not have been initialized", "Line 24: variable P might not have been initialized", "Line 26: variable B might not have been initialized", "Line 27: unreachable code", "Line 28: unreachable code", "Line 29: unreachable code", "Line 31: unreachable code", "Line 36: unreachable code", "Line 37: unreachable code", "Line 40: variable I might not have been initialized" }
{"PARAM C D H I J M N O R S","IF T < 79900142 THEN","IF O = 4 THEN","C = O / O","IF M < O THEN","END IF","END IF","IF C > J THEN","END IF","ELSE","END IF","IF I < E THEN","IF N = I THEN","IF H < A THEN","IF E < 2 THEN","END IF","ELSE","END IF","END IF","IF D > 5 THEN","ELSE","END IF","IF H = F THEN","IF R > I THEN","IF N = J THEN","IF B < D THEN","END IF","END IF","I = P * H","ELSE","IF N > -65 THEN","N = -46 - D","END IF","END IF","END IF","A = H * N","IF S > 7 THEN","IF N = -33673 THEN","END IF","B = 4 / B","END IF","END IF","RETURN E"}

Returns: { "Line 2: variable T might not have been initialized", "Line 12: variable E might not have been initialized", "Line 14: variable A might not have been initialized", "Line 15: variable E might not have been initialized", "Line 23: variable F might not have been initialized", "Line 26: variable B might not have been initialized", "Line 29: variable P might not have been initialized", "Line 40: variable B might not have been initialized", "Line 43: variable E might not have been initialized" }
{"PARAM B C D F G H M","IF A > 5475355 THEN","IF T = A THEN","IF F > 7124888 THEN","IF K = T THEN","END IF","O = N / E","END IF","END IF","ELSE","END IF","IF L > Q THEN","IF D = -8869775 THEN","IF R = M THEN","END IF","T = 38 / S","C = -18841 * R","E = A - H","ELSE","A = -94416558 * -365067","END IF","IF N > G THEN","IF S = E THEN","ELSE","D = A + F","IF N > 347054153 THEN","S = P * T","IF S > 25708 THEN","R = E * R","RETURN S","RETURN 8330","END IF","I = A - J","S = F - F","D = 949654897 + D","ELSE","IF I > 28 THEN","I = S / E","IF K > Q THEN","U = K * L","IF I < E THEN","END IF","END IF","END IF","END IF","END IF","END IF","END IF","RETURN I"}

Returns: { "Line 2: variable A might not have been initialized", "Line 3: variable A might not have been initialized", "Line 3: variable T might not have been initialized", "Line 5: variable K might not have been initialized", "Line 5: variable T might not have been initialized", "Line 7: variable E might not have been initialized", "Line 7: variable N might not have been initialized", "Line 12: variable L might not have been initialized", "Line 12: variable Q might not have been initialized", "Line 14: variable R might not have been initialized", "Line 16: variable S might not have been initialized", "Line 17: variable R might not have been initialized", "Line 18: variable A might not have been initialized", "Line 22: variable N might not have been initialized", "Line 23: variable E might not have been initialized", "Line 23: variable S might not have been initialized", "Line 25: variable A might not have been initialized", "Line 26: variable N might not have been initialized", "Line 27: variable P might not have been initialized", "Line 27: variable T might not have been initialized", "Line 29: variable E might not have been initialized", "Line 29: variable R might not have been initialized", "Line 31: unreachable code", "Line 33: variable A might not have been initialized", "Line 33: variable J might not have been initialized", "Line 37: variable I might not have been initialized", "Line 38: variable E might not have been initialized", "Line 38: variable S might not have been initialized", "Line 39: variable K might not have been initialized", "Line 39: variable Q might not have been initialized", "Line 40: variable K might not have been initialized", "Line 40: variable L might not have been initialized", "Line 41: variable E might not have been initialized", "Line 49: variable I might not have been initialized" }
{"PARAM D G L N O","IF A > 72819 THEN","IF G < 88511597 THEN","IF E = A THEN","END IF","IF N = -418073 THEN","IF E > D THEN","END IF","IF O L THEN","M = A + L","IF H = B THEN","IF C K THEN","RETURN J","END IF","F = -700859 + E","H = 940 * L","IF A > I THEN","IF M = J THEN","IF D < L THEN","ELSE","END IF","END IF","H = M - 220274","END IF","IF D > C THEN","END IF","ELSE","END IF","F = D * 893253","END IF","END IF","END IF","END IF","RETURN M"}

Returns: { "Line 2: variable A might not have been initialized", "Line 4: variable A might not have been initialized", "Line 4: variable E might not have been initialized", "Line 7: variable E might not have been initialized", "Line 9: variable I might not have been initialized", "Line 10: variable J might not have been initialized", "Line 12: variable A might not have been initialized", "Line 13: variable I might not have been initialized", "Line 14: variable A might not have been initialized", "Line 15: variable B might not have been initialized", "Line 15: variable H might not have been initialized", "Line 16: variable C might not have been initialized", "Line 16: variable I might not have been initialized", "Line 19: variable A might not have been initialized", "Line 23: variable K might not have been initialized", "Line 24: variable J might not have been initialized", "Line 26: variable E might not have been initialized", "Line 28: variable A might not have been initialized", "Line 28: variable I might not have been initialized", "Line 29: variable J might not have been initialized", "Line 36: variable C might not have been initialized", "Line 45: variable M might not have been initialized" }
{"PARAM J K","IF H < C THEN","H = A + J","END IF","IF H = D THEN","IF F > E THEN","IF I < K THEN","G = D / J","H = H + -765905","B = -9 - C","END IF","END IF","END IF","IF K < 196540558 THEN","F = 20955702 - G","ELSE","IF D > A THEN","D = G + K","J = E / H","IF I = H THEN","D = E - F","END IF","END IF","IF I > K THEN","IF F > G THEN","IF F = 851710269 THEN","END IF","END IF","END IF","END IF","F = E + B","RETURN 8064692"}

Returns: { "Line 2: variable C might not have been initialized", "Line 2: variable H might not have been initialized", "Line 3: variable A might not have been initialized", "Line 5: variable D might not have been initialized", "Line 5: variable H might not have been initialized", "Line 6: variable E might not have been initialized", "Line 6: variable F might not have been initialized", "Line 7: variable I might not have been initialized", "Line 8: variable D might not have been initialized", "Line 9: variable H might not have been initialized", "Line 10: variable C might not have been initialized", "Line 15: variable G might not have been initialized", "Line 17: variable A might not have been initialized", "Line 17: variable D might not have been initialized", "Line 18: variable G might not have been initialized", "Line 19: variable E might not have been initialized", "Line 19: variable H might not have been initialized", "Line 20: variable H might not have been initialized", "Line 20: variable I might not have been initialized", "Line 21: variable E might not have been initialized", "Line 21: variable F might not have been initialized", "Line 24: variable I might not have been initialized", "Line 25: variable F might not have been initialized", "Line 25: variable G might not have been initialized", "Line 26: variable F might not have been initialized", "Line 31: variable B might not have been initialized", "Line 31: variable E might not have been initialized" }
{"PARAM A C E G M N O R T Y","IF V > E THEN","M = 950604153 - B","ELSE","IF L < 894133 THEN","IF D = A THEN","IF I = R THEN","END IF","ELSE","G = Z + 4","IF K = E THEN","END IF","IF A = C THEN","END IF","IF A < O THEN","T = D - X","ELSE","END IF","IF A < C THEN","IF E < J THEN","V = B * S","C = 3738625 / I","END IF","Q = O + N","T = 31370445 - F","END IF","END IF","IF K < T THEN","RETURN 464880658","IF A = R THEN","K = F / A","IF F = T THEN","END IF","END IF","END IF","END IF","END IF","RETURN S"}

Returns: { "Line 2: variable V might not have been initialized", "Line 3: variable B might not have been initialized", "Line 5: variable L might not have been initialized", "Line 6: variable D might not have been initialized", "Line 7: variable I might not have been initialized", "Line 10: variable Z might not have been initialized", "Line 11: variable K might not have been initialized", "Line 16: variable D might not have been initialized", "Line 16: variable X might not have been initialized", "Line 20: variable J might not have been initialized", "Line 21: variable B might not have been initialized", "Line 21: variable S might not have been initialized", "Line 22: variable I might not have been initialized", "Line 25: variable F might not have been initialized", "Line 28: variable K might not have been initialized", "Line 30: unreachable code", "Line 31: unreachable code", "Line 32: unreachable code", "Line 38: variable S might not have been initialized" }
{"PARAM A C F G I L M Q R","IF C < R THEN","ELSE","B = -3 * P","END IF","A = 394109134 - P","IF L > -54131792 THEN","END IF","IF S > 587911493 THEN","ELSE","END IF","J = 663 / J","IF E = H THEN","K = 66657975 + 7133939","END IF","IF S = -13874066 THEN","END IF","IF B < 5957 THEN","IF P > -7 THEN","IF H < 7776229 THEN","M = N * J","ELSE","I = 9209249 - P","IF P > B THEN","IF M M THEN","ELSE","IF B = I THEN","IF M = 632832 THEN","ELSE","END IF","D = B / 343","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","RETURN 41985035"}

Returns: { "Line 4: variable P might not have been initialized", "Line 6: variable P might not have been initialized", "Line 9: variable S might not have been initialized", "Line 12: variable J might not have been initialized", "Line 13: variable E might not have been initialized", "Line 13: variable H might not have been initialized", "Line 16: variable S might not have been initialized", "Line 18: variable B might not have been initialized", "Line 19: variable P might not have been initialized", "Line 20: variable H might not have been initialized", "Line 21: variable N might not have been initialized", "Line 23: variable P might not have been initialized", "Line 24: variable B might not have been initialized", "Line 24: variable P might not have been initialized", "Line 25: variable B might not have been initialized", "Line 26: variable D might not have been initialized", "Line 28: variable D might not have been initialized", "Line 28: variable S might not have been initialized", "Line 29: variable E might not have been initialized" }
{"PARAM A D J N O Q S U V W","M = 56551 / 22777992","I = -871 * U","IF R = C THEN","IF A < 373479385 THEN","END IF","ELSE","END IF","IF G = 997291567 THEN","IF C = R THEN","Y = R - 5428","IF Y = X THEN","IF Y = A THEN","IF W < 413341 THEN","M = I / A","ELSE","IF S = C THEN","IF J > L THEN","END IF","END IF","A = S / Y","END IF","END IF","END IF","END IF","END IF","RETURN 42535938"}

Returns: { "Line 4: variable C might not have been initialized", "Line 4: variable R might not have been initialized", "Line 9: variable G might not have been initialized", "Line 10: variable C might not have been initialized", "Line 10: variable R might not have been initialized", "Line 11: variable R might not have been initialized", "Line 12: variable X might not have been initialized", "Line 17: variable C might not have been initialized", "Line 18: variable L might not have been initialized" }
{"PARAM B C G I J P U W","P = 65439624 - 649527","A = P / I","IF S > 26 THEN","IF V > -70171 THEN","IF O > G THEN","ELSE","R = I / P","N = S + L","B = I * T","X = W + G","END IF","ELSE","IF M < Q THEN","END IF","END IF","END IF","IF C > 12 THEN","L = 746880326 + W","IF N > -5520347 THEN","END IF","END IF","F = 5957691 / E","I = -355 * J","IF V < -9 THEN","END IF","IF V > 77352673 THEN","U = L - J","IF J > E THEN","IF W < R THEN","IF K > T THEN","IF D < X THEN","END IF","END IF","IF G = K THEN","END IF","END IF","END IF","END IF","RETURN 4553256"}

Returns: { "Line 4: variable S might not have been initialized", "Line 5: variable V might not have been initialized", "Line 6: variable O might not have been initialized", "Line 9: variable L might not have been initialized", "Line 9: variable S might not have been initialized", "Line 10: variable T might not have been initialized", "Line 14: variable M might not have been initialized", "Line 14: variable Q might not have been initialized", "Line 20: variable N might not have been initialized", "Line 23: variable E might not have been initialized", "Line 25: variable V might not have been initialized", "Line 27: variable V might not have been initialized", "Line 28: variable L might not have been initialized", "Line 29: variable E might not have been initialized", "Line 30: variable R might not have been initialized", "Line 31: variable K might not have been initialized", "Line 31: variable T might not have been initialized", "Line 32: variable D might not have been initialized", "Line 32: variable X might not have been initialized", "Line 35: variable K might not have been initialized" }
{"PARAM A G","IF G < A THEN","IF E > F THEN","ELSE","END IF","ELSE","END IF","F = A + G","F = G - A","G = C + A","IF A = D THEN","IF D < 87823 THEN","IF F = A THEN","IF B > E THEN","IF G < -98028 THEN","END IF","D = A * F","IF F = C THEN","END IF","END IF","END IF","ELSE","B = D * 7684","IF C < 674958976 THEN","END IF","IF E > -90773 THEN","END IF","IF E > C THEN","IF D > 742490 THEN","IF F > A THEN","END IF","END IF","C = A / G","END IF","IF A > D THEN","END IF","END IF","END IF","E = G - 69","IF B > G THEN","END IF","RETURN C"}

Returns: { "Line 3: variable E might not have been initialized", "Line 3: variable F might not have been initialized", "Line 10: variable C might not have been initialized", "Line 11: variable D might not have been initialized", "Line 12: variable D might not have been initialized", "Line 14: variable B might not have been initialized", "Line 14: variable E might not have been initialized", "Line 18: variable C might not have been initialized", "Line 23: variable D might not have been initialized", "Line 24: variable C might not have been initialized", "Line 26: variable E might not have been initialized", "Line 28: variable C might not have been initialized", "Line 28: variable E might not have been initialized", "Line 29: variable D might not have been initialized", "Line 35: variable D might not have been initialized", "Line 40: variable B might not have been initialized", "Line 42: variable C might not have been initialized" }
{"PARAM F K M O","L = 388190 * R","H = M / 315756988","IF S = B THEN","END IF","I = F / 4337","IF Q > -3905347 THEN","I = -89564 + J","P = G * 5","END IF","C = R + I","L = L * A","IF L < G THEN","R = 12 + D","B = M / 60603315","IF Q = 72018 THEN","END IF","ELSE","S = P + 1976831","N = A - F","IF M > N THEN","ELSE","END IF","IF R > 447096892 THEN","RETURN 5396863","A = 6238 - S","S = D - -7","K = S + O","IF E = R THEN","IF E < 4 THEN","END IF","END IF","RETURN M","IF N = A THEN","RETURN N","END IF","IF Q < -48066 THEN","IF K > S THEN","END IF","RETURN 34","Q = 4 * R","END IF","END IF","END IF","RETURN H"}

Returns: { "Line 2: variable R might not have been initialized", "Line 4: variable B might not have been initialized", "Line 4: variable S might not have been initialized", "Line 7: variable Q might not have been initialized", "Line 8: variable J might not have been initialized", "Line 9: variable G might not have been initialized", "Line 11: variable R might not have been initialized", "Line 12: variable A might not have been initialized", "Line 13: variable G might not have been initialized", "Line 14: variable D might not have been initialized", "Line 16: variable Q might not have been initialized", "Line 19: variable P might not have been initialized", "Line 20: variable A might not have been initialized", "Line 24: variable R might not have been initialized", "Line 26: unreachable code", "Line 27: unreachable code", "Line 28: unreachable code", "Line 29: unreachable code", "Line 30: unreachable code", "Line 33: unreachable code", "Line 34: unreachable code", "Line 35: unreachable code", "Line 37: unreachable code", "Line 38: unreachable code", "Line 40: unreachable code", "Line 41: unreachable code" }
{"PARAM A B G I","IF A > -89952 THEN","END IF","IF G < E THEN","IF H > 37455 THEN","E = -407416 - D","END IF","IF I < H THEN","IF C > 48138 THEN","END IF","END IF","I = E + H","ELSE","G = E - D","IF F > -5 THEN","A = 959941 - 19007","IF E > A THEN","ELSE","END IF","END IF","END IF","RETURN D"}

Returns: { "Line 4: variable E might not have been initialized", "Line 5: variable H might not have been initialized", "Line 6: variable D might not have been initialized", "Line 8: variable H might not have been initialized", "Line 9: variable C might not have been initialized", "Line 12: variable E might not have been initialized", "Line 12: variable H might not have been initialized", "Line 14: variable D might not have been initialized", "Line 14: variable E might not have been initialized", "Line 15: variable F might not have been initialized", "Line 17: variable E might not have been initialized", "Line 22: variable D might not have been initialized" }
{"PARAM D","IF D < A THEN","END IF","IF B = F THEN","END IF","D = 4450 * B","IF B < 456078592 THEN","IF F < -61 THEN","END IF","END IF","D = 98 + C","IF A > 95915292 THEN","B = -2117534 * E","END IF","IF C > -3134670 THEN","IF B < A THEN","IF B = E THEN","END IF","END IF","END IF","RETURN 3"}

Returns: { "Line 2: variable A might not have been initialized", "Line 4: variable B might not have been initialized", "Line 4: variable F might not have been initialized", "Line 6: variable B might not have been initialized", "Line 7: variable B might not have been initialized", "Line 8: variable F might not have been initialized", "Line 11: variable C might not have been initialized", "Line 12: variable A might not have been initialized", "Line 13: variable E might not have been initialized", "Line 15: variable C might not have been initialized", "Line 16: variable A might not have been initialized", "Line 16: variable B might not have been initialized", "Line 17: variable B might not have been initialized", "Line 17: variable E might not have been initialized" }
{"PARAM F I J N Q","IF A = O THEN","O = 81560159 + D","IF P > D THEN","IF I > O THEN","R = R / C","IF D < 2 THEN","END IF","F = R / F","ELSE","Q = B / 215","IF M < G THEN","END IF","END IF","END IF","K = I * -5","END IF","IF Q > J THEN","END IF","IF L = 6716 THEN","END IF","O = G - F","IF D = G THEN","END IF","Q = G * 19672","IF K < C THEN","IF F > -18 THEN","P = 8284 - A","IF D = J THEN","END IF","END IF","ELSE","O = M * F","D = 86 - 754384381","IF J = 3760 THEN","RETURN E","L = C + N","IF A > O THEN","END IF","ELSE","END IF","END IF","K = 228939674 * O","RETURN 6438002"}

Returns: { "Line 2: variable A might not have been initialized", "Line 2: variable O might not have been initialized", "Line 3: variable D might not have been initialized", "Line 4: variable D might not have been initialized", "Line 4: variable P might not have been initialized", "Line 6: variable C might not have been initialized", "Line 6: variable R might not have been initialized", "Line 7: variable D might not have been initialized", "Line 11: variable B might not have been initialized", "Line 12: variable G might not have been initialized", "Line 12: variable M might not have been initialized", "Line 20: variable L might not have been initialized", "Line 22: variable G might not have been initialized", "Line 23: variable D might not have been initialized", "Line 23: variable G might not have been initialized", "Line 25: variable G might not have been initialized", "Line 26: variable C might not have been initialized", "Line 26: variable K might not have been initialized", "Line 28: variable A might not have been initialized", "Line 29: variable D might not have been initialized", "Line 33: variable M might not have been initialized", "Line 36: variable E might not have been initialized", "Line 37: unreachable code", "Line 38: unreachable code" }
{"PARAM E I Q V","IF K = J THEN","END IF","W = O / X","F = -3499870 + U","S = X - -3260228","G = N * S","IF G > 5620 THEN","H = P / B","D = J + M","ELSE","END IF","Q = -962972 / S","IF F < 8 THEN","ELSE","END IF","K = C * P","IF S W THEN","END IF","END IF","END IF","RETURN 1129825"}

Returns: { "Line 2: variable J might not have been initialized", "Line 2: variable K might not have been initialized", "Line 4: variable O might not have been initialized", "Line 4: variable X might not have been initialized", "Line 5: variable U might not have been initialized", "Line 6: variable X might not have been initialized", "Line 7: variable N might not have been initialized", "Line 9: variable B might not have been initialized", "Line 9: variable P might not have been initialized", "Line 10: variable J might not have been initialized", "Line 10: variable M might not have been initialized", "Line 17: variable C might not have been initialized", "Line 17: variable P might not have been initialized", "Line 18: variable P might not have been initialized", "Line 19: variable M might not have been initialized", "Line 24: variable H might not have been initialized", "Line 25: variable H might not have been initialized" }
{"PARAM C G J L N","IF J < D THEN","END IF","IF A < -2652046 THEN","END IF","E = D * F","B = F + 85","A = I - 4350732","IF J = 98 THEN","E = K - P","IF P = -406 THEN","END IF","END IF","IF H > 505128601 THEN","ELSE","IF H < J THEN","P = D + H","IF B I THEN","ELSE","IF D > K THEN","IF A > B THEN","END IF","G = 376 / 39","END IF","IF N < E THEN","END IF","IF E < 231 THEN","END IF","IF B = G THEN","IF M = L THEN","END IF","END IF","END IF","END IF","END IF","END IF","RETURN B"}

Returns: { "Line 2: variable D might not have been initialized", "Line 4: variable A might not have been initialized", "Line 6: variable D might not have been initialized", "Line 6: variable F might not have been initialized", "Line 7: variable F might not have been initialized", "Line 8: variable I might not have been initialized", "Line 10: variable K might not have been initialized", "Line 10: variable P might not have been initialized", "Line 11: variable P might not have been initialized", "Line 14: variable H might not have been initialized", "Line 16: variable H might not have been initialized", "Line 17: variable D might not have been initialized", "Line 17: variable H might not have been initialized", "Line 18: variable I might not have been initialized", "Line 19: variable M might not have been initialized", "Line 20: variable M might not have been initialized", "Line 25: unreachable code", "Line 27: unreachable code", "Line 28: unreachable code", "Line 30: unreachable code", "Line 32: unreachable code", "Line 34: unreachable code", "Line 36: unreachable code", "Line 37: unreachable code" }
{"PARAM A B F","IF J = 232505 THEN","O = H * G","END IF","L = 890404 * D","IF P > F THEN","H = C * -14","IF F = E THEN","END IF","END IF","IF H > L THEN","B = E * J","IF M < E THEN","IF G < K THEN","IF E < F THEN","IF D > J THEN","END IF","END IF","END IF","END IF","END IF","RETURN N"}

Returns: { "Line 2: variable J might not have been initialized", "Line 3: variable G might not have been initialized", "Line 3: variable H might not have been initialized", "Line 5: variable D might not have been initialized", "Line 6: variable P might not have been initialized", "Line 7: variable C might not have been initialized", "Line 8: variable E might not have been initialized", "Line 11: variable H might not have been initialized", "Line 12: variable E might not have been initialized", "Line 12: variable J might not have been initialized", "Line 13: variable E might not have been initialized", "Line 13: variable M might not have been initialized", "Line 14: variable G might not have been initialized", "Line 14: variable K might not have been initialized", "Line 15: variable E might not have been initialized", "Line 16: variable D might not have been initialized", "Line 16: variable J might not have been initialized", "Line 22: variable N might not have been initialized" }
{"PARAM A B I N O","IF G < N THEN","END IF","IF F = N THEN","H = K - L","IF N < H THEN","IF D D THEN","END IF","END IF","A = D - -88087987","ELSE","END IF","END IF","I = C / 74","IF C = L THEN","F = A - 78440","END IF","IF C = N THEN","IF F > N THEN","END IF","H = A + F","IF I = H THEN","IF J = E THEN","END IF","C = A * E","END IF","END IF","RETURN O"}

Returns: { "Line 2: variable G might not have been initialized", "Line 4: variable F might not have been initialized", "Line 5: variable K might not have been initialized", "Line 5: variable L might not have been initialized", "Line 7: variable D might not have been initialized", "Line 8: variable D might not have been initialized", "Line 9: variable G might not have been initialized", "Line 11: variable D might not have been initialized", "Line 14: variable D might not have been initialized", "Line 18: variable C might not have been initialized", "Line 19: variable C might not have been initialized", "Line 19: variable L might not have been initialized", "Line 22: variable C might not have been initialized", "Line 23: variable F might not have been initialized", "Line 25: variable F might not have been initialized", "Line 27: variable E might not have been initialized", "Line 27: variable J might not have been initialized", "Line 29: variable E might not have been initialized" }
{"PARAM D H I J L S U","IF S = I THEN","IF I = Q THEN","END IF","IF B = G THEN","IF B < K THEN","ELSE","END IF","END IF","ELSE","O = 67108499 / T","T = M - J","IF L < 4595000 THEN","O = K * U","IF H > K THEN","T = 17940 / -423","END IF","IF U > P THEN","IF R = K THEN","IF P < 23808 THEN","D = C / A","IF B = M THEN","ELSE","END IF","IF R = C THEN","IF L < 2715697 THEN","END IF","END IF","END IF","A = E + A","ELSE","END IF","END IF","END IF","END IF","RETURN E"}

Returns: { "Line 3: variable Q might not have been initialized", "Line 5: variable B might not have been initialized", "Line 5: variable G might not have been initialized", "Line 6: variable B might not have been initialized", "Line 6: variable K might not have been initialized", "Line 11: variable T might not have been initialized", "Line 12: variable M might not have been initialized", "Line 14: variable K might not have been initialized", "Line 15: variable K might not have been initialized", "Line 18: variable P might not have been initialized", "Line 19: variable K might not have been initialized", "Line 19: variable R might not have been initialized", "Line 20: variable P might not have been initialized", "Line 21: variable A might not have been initialized", "Line 21: variable C might not have been initialized", "Line 22: variable B might not have been initialized", "Line 22: variable M might not have been initialized", "Line 25: variable C might not have been initialized", "Line 25: variable R might not have been initialized", "Line 30: variable A might not have been initialized", "Line 30: variable E might not have been initialized", "Line 36: variable E might not have been initialized" }
{"PARAM B G","IF A > G THEN","END IF","D = H * 37","IF B = A THEN","F = D / C","END IF","IF H = F THEN","G = 3017 + B","IF E = 1850 THEN","IF D > E THEN","IF F 86 THEN","E = H * B","F = B + E","END IF","D = G + 727379499","END IF","END IF","END IF","END IF","RETURN 25"}

Returns: { "Line 2: variable A might not have been initialized", "Line 4: variable H might not have been initialized", "Line 5: variable A might not have been initialized", "Line 6: variable C might not have been initialized", "Line 8: variable F might not have been initialized", "Line 8: variable H might not have been initialized", "Line 10: variable E might not have been initialized", "Line 11: variable E might not have been initialized", "Line 12: variable F might not have been initialized", "Line 13: variable C might not have been initialized", "Line 14: variable E might not have been initialized", "Line 18: variable H might not have been initialized" }
{"PARAM C E G H","IF H > -59410776 THEN","IF C > H THEN","ELSE","END IF","B = D + 20","IF B = E THEN","IF A > H THEN","END IF","END IF","IF A < H THEN","END IF","IF C = D THEN","IF B = C THEN","END IF","C = 86 / C","G = D + 2379","END IF","END IF","B = C - F","RETURN F"}

Returns: { "Line 6: variable D might not have been initialized", "Line 8: variable A might not have been initialized", "Line 11: variable A might not have been initialized", "Line 13: variable D might not have been initialized", "Line 17: variable D might not have been initialized", "Line 20: variable F might not have been initialized", "Line 21: variable F might not have been initialized" }
{"PARAM A C D K M N O T","IF C < K THEN","E = D + S","IF M = 51 THEN","IF J = C THEN","ELSE","Q = A / 831671448","IF I = M THEN","IF R = F THEN","END IF","IF K = L THEN","I = B * Q","IF O > P THEN","IF B = 2671 THEN","IF D = A THEN","IF C = S THEN","IF F = L THEN","END IF","END IF","IF B < 1496399 THEN","END IF","IF M < -46591 THEN","IF B = -54324496 THEN","E = 9554786 / K","ELSE","C = F + Q","END IF","IF Q > M THEN","END IF","IF Q = D THEN","END IF","END IF","ELSE","N = P * B","IF Q = 19536316 THEN","IF H = Q THEN","IF K < 921813811 THEN","ELSE","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","RETURN N"}

Returns: { "Line 3: variable S might not have been initialized", "Line 5: variable J might not have been initialized", "Line 8: variable I might not have been initialized", "Line 9: variable F might not have been initialized", "Line 9: variable R might not have been initialized", "Line 11: variable L might not have been initialized", "Line 12: variable B might not have been initialized", "Line 13: variable P might not have been initialized", "Line 14: variable B might not have been initialized", "Line 16: variable S might not have been initialized", "Line 17: variable F might not have been initialized", "Line 17: variable L might not have been initialized", "Line 20: variable B might not have been initialized", "Line 23: variable B might not have been initialized", "Line 26: variable F might not have been initialized", "Line 34: variable B might not have been initialized", "Line 34: variable P might not have been initialized", "Line 36: variable H might not have been initialized" }
{"PARAM A","IF A > 5 THEN","B = 3","ELSE","RETURN 3","A = 2","END IF","RETURN B"}

Returns: { "Line 6: unreachable code" }
{"PARAM A","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","IF A < 0 THEN","IF A > 0 THEN","RETURN B","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","END IF","RETURN A"}

Returns: { "Line 25: variable B might not have been initialized" }
{ "PARAM I J K L T", "IF I > 10 THEN", "IF I < 100 THEN", "IF J > 10 THEN", "IF J < 100 THEN", "IF K > 10 THEN", "IF K < 100 THEN", "IF L > 10 THEN", "IF L < 100 THEN", "A = I + J", "B = K + L", "C = A + B", "RETURN C", "IF T > 4 THEN", "ELSE", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "END IF", "RETURN -1" }

Returns: { "Line 14: unreachable code" }
{ "PARAM A", "IF A > B THEN", "RETURN A", "END IF", "X = 15", "IF A < B THEN", "RETURN A", "ELSE", "RETURN B", "END IF", "D = 7", "RETURN C" }

Returns: { "Line 2: variable B might not have been initialized", "Line 6: variable B might not have been initialized", "Line 9: variable B might not have been initialized", "Line 11: unreachable code", "Line 12: unreachable code" }

Statistics

Problem Statement for "ScriptLanguage"

Problem Statement

Definition

Notes

Constraints

Examples