Add verification to ex-1.45.scm
work on 1.46