Implemented class PostPropagator.
Implemented unfounded sets check.
Added test cases.