Pass2_Validator

most of the methods implemented ... only evaluate expression left