tomoyo_correct_path
bool tomoyo_correct_path(const char *filename);
flag = tomoyo_correct_path(pos) || !strcmp(pos, "keep") ||
if (!tomoyo_correct_path(program))
if (!tomoyo_correct_path(domainname))
!tomoyo_correct_path(aggregated_name))
return tomoyo_correct_path(domainname);