Reduct-based Stability Check Using Literal Assumptions