fix Issue #31 - Rule in Assert Retract and Forall

Signed-off-by: greenTara <taraathan@gmail.com>