Check for the returns_twice attribute in callsFunctionThatReturnsTwice. This