Added in property testing for the worker controller