A Tool for Monitoring State Obligations