add solver_rule2rules: learnt rule introspection