modify example
fix analyzer's evaluation environment