more clear names
first working approximation
StagedSolver - putting in solution only indexed keys
Staged inference: Upward resolve is implemented
delta in test data
delta in test data