syntax of if-then-else statements

syntax of recursive procedures

whether a variable is declared before its use

matching nested parenthesis