Improve unit tests about asserter, in order to secure merge of PR #190.