Rename simple-and to simple-and.v