UpdateGraph on top of OptionalMatch should be eager

OptionalMatch did declare that it has no local effects, which caused
updating plans built on top of OptionalMatch to be non-eager.