package Ġit . uni bo . tup ro log . solve . stdlib Ċ Ċ import Ġit . uni bo . tup ro log . solve . ExecutionContext Ċ import Ġit . uni bo . tup ro log . solve . rule . Rule Wrapper Ċ import Ġit . uni bo . tup ro log . solve . stdlib . rule .* Ċ import Ġit . uni bo . tup ro log . theory . Theory Ċ Ċ object ĠCommon Rules Ġ{ ĊĠĠĠ Ġval Ġwrappers : ĠSequence < Rule Wrapper < ExecutionContext >> Ġ= Ġsequence Of ( ĊĠĠĠĠĠĠĠ ĠNot , ĊĠĠĠĠĠĠĠ ĠArrow , ĊĠĠĠĠĠĠĠ ĠSem icolon . If . Then , ĊĠĠĠĠĠĠĠ ĠSem icolon . If . Else , ĊĠĠĠĠĠĠĠ ĠSem icolon . Or . Left , ĊĠĠĠĠĠĠĠ ĠSem icolon . Or . Right , ĊĠĠĠĠĠĠĠ ĠMember . Base , ĊĠĠĠĠĠĠĠ ĠMember . Recursive , ĊĠĠĠĠĠĠĠ ĠAppend . Base , ĊĠĠĠĠĠĠĠ ĠAppend . Recursive ĊĠĠĠ Ġ) ĊĊĠĠĠ Ġval Ġtheory : ĠTheory ĊĠĠĠĠĠĠĠ Ġget () Ġ= ĠTheory . indexed Of ( wrappers . map Ġ{ Ġit . wrapped Implementation Ġ}) Ċ }