add a new case:argumentsInPropertySetParameterList
add a new case :evalCreatesNewEnvironment
put all comments