Incremental UAT Checking