A Code is decipherable if Code Extension is injective, i.e. every string from arises from at most one message