Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction