Add a constraint if for std.file.readText