got comparison of same type checking working
got analyzer working for full conditional test program
unit tests for analyze conditional