Inspection detects semantic problems for view definitions with embedded properties