Finished decidablility of Prefix