Merge pull request #798 from Alex-van-der-Peet/master

Renamed other instances of EvaluationToMemberRule