Efficient decision procedures for message deducibility and static equivalence