Predicate Sanity::file_sanity

predicate file_sanity(string clsname, string problem, string what)