Better precondition checks for harness