Muppet system state checking/conforming tool prototype