[REQS-648] Add more tests, argument checkers.

Also support for receiver's swap in generator, note in annuity definition