Test new branch add ruleGrounder method
Fix arith,builtin... rule that use term add arithterm
GroundRUle beta
Explode
Add pair in vector bind bound
Add in classical literal getTerm and optimize groundRule split in
function
Merge branch 'master' into RuleGrounderBranch