Action::AddValue
        RemoveValue
        BindValue
        SetBoundValue
        AddBoundValue
        RemoveBoundValue
ActionBuilder::BoundValue
? KnownFactSet
? KnownResolutionSet
Predicate::Foreach
Predicate::Findall
Predicate::Forall
Predicate::Rule
Predicate::Not
Step::SubSolve
Solution
Endjinn