Some refinements that can be made to ASM3, based on implementation in PR #1593 are listed as sub-issues.