Checked if the source Whiley program exists. If not, then throw out an
exception.