(TK-18) Remove duplicate precondition