Infer implied_anc correctly for POST constraints.

The previous coding only handled PRE constraints.