Adding preconditions to tuple