WIP: use emulator command to verify properties.