Improved semantic walker
	- expression checking