added else statements and binary NOT expressions
bug fixes for else stmts and relational stmts