Moved action specific predicates to actionWellFormed and fix a conformance failure#673

WhatisRT merged 4 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

jj/withdrawal-return-addrIntersectMBO/formal-ledger-specifications:jj/withdrawal-return-addrCopy head branch name to clipboard