Improved semantic walker
	- further expression checking