Action::RemoveValue
        RemoveBoundValue
? KnownFactSet
? KnownResolutionSet
Predicate::Foreach
Predicate::Findall
Predicate::Forall
Predicate::Rule
Predicate::Not
Step::SubSolve
Solution
Endjinn