Move previous tests back to where they were, and test both the state transition and the logging for rich and symbolic inputs