revise include output, delete rulebase in SRL, splitsnt output shared library