Question: Which of the films that Matt Villa's has worked on is based on a short story by Robert A. Heinlein?

Context paragraphs:
They (Heinlein): "They" is a short story written by American science fiction author Robert A. Heinlein.  It was first published in the April 1941 issue of "Unknown", and can be found in Heinlein's short story collection "The Unpleasant Profession of Jonathan Hoag".  It also appears in a number of multi-author anthologies.

Life-Line: "Life-Line" is a short story by American author Robert A. Heinlein.  Published in the August 1939 edition of "Astounding", it was Heinlein's first published short story.

The Man Who Traveled in Elephants: "The Man Who Traveled in Elephants" is a short story written in 1948 by Robert A. Heinlein.  It was first published as "The Elephant Circuit" in the October 1957 issue of "Saturn Magazine".  It later appeared in two Heinlein anthologies, "The Unpleasant Profession of Jonathan Hoag" (also titled "6xH"; 1959) and "The Fantasies of Robert A. Heinlein" (1999).

Let There Be Light (Heinlein short story): "Let There Be Light" is a science fiction short story by Robert A. Heinlein, originally published in "Super Science Stories" magazine in May 1940 under the pseudonym Lyle Monroe.  It is the second story in his "Future History" and was included in the first collection, "The Man Who Sold the Moon", but was omitted from the omnibus collection "The Past Through Tomorrow".  This story draws on Heinlein's early leftist ideas, and makes references to George Bernard Shaw's "The Apple Cart".

The Robert Heinlein Omnibus: The Robert Heinlein Omnibus is an anthology of science fiction published in 1958, containing a novel, a novella and a short story by American writer Robert A. Heinlein:

Predestination (film): Predestination is a 2014 Australian science fiction thriller film written and directed by Michael and Peter Spierig.  The film stars Ethan Hawke, Sarah Snook and Noah Taylor, and is based on the short story ""—All You Zombies—"" by Robert A. Heinlein.

A Tenderfoot in Space: "A Tenderfoot in Space" is a short story by Robert A. Heinlein, serialized in "Boys' Life" magazine in May, June, and July 1958.  The original working title was "Tenderfoot on Venus" when it was written in 1956.  It was extensively cut according to orders by the magazine editor for its published form.  It was reprinted in the retrospective "Requiem: New Collected Works by Robert A. Heinlein and Tributes to the Grand Master".

Matt Villa: Matt Villa is an Australian film editor, most famous for editing "The Great Gatsby", for which he won Best Editing at the 3rd AACTA Awards alongside Jason Ballantine and Jonathan Redmond.  Villa won his second AACTA Award the following year for "Predestination".

Free Men: "Free Men" is a science fiction short story by Robert A. Heinlein, which originally appeared in the Heinlein collection, "The Worlds of Robert A. Heinlein" (Ace F-375, 1966) and was later collected in "Expanded Universe".  It is copyrighted by Heinlein in 1966, but was probably written between 1947 and 1950, judging from the foreword to it in "Expanded Universe", which mentions that it was written after "Rocket Ship Galileo".

Robert A. Heinlein bibliography: The science fiction writer Robert A. Heinlein (1907–1988) was productive during a writing career that spanned the last 49 years of his life; the Robert A. Heinlein bibliography includes 32 novels, 59 short stories and 16 collections published during his life.  Four films, two TV series, several episodes of a radio series, and a board game derive more or less directly from his work.  He wrote a screenplay for one of the films.  Heinlein edited an anthology of other writers' SF short stories.

Supporting paragraphs: Matt Villa Predestination (film)
Answer: Predestination