"""Background agent property-based tests."""