change assertion in McCarthy 91
Merge branch 'master' of https://github.com/fmlab-iis/transformer
change to check summary