Causal Laws and Multi-Valued Fluents