Supports nested functions, assertion for cleared stacks.
Adds if-else test.
Adds trivial code sequence test.
Adds support for while loops.