CausalVarImpl realized