File tests migrated to theories