Fixed bug when satelite infers literals that are in propagators.
Added test cases