UK legal system assumes that computers don't have bugs