more robust isabelle_scala_files;
clarified evaluation;