Even more unit tests (and some tweaks to previous tests) for StmAdapterImpl.