Algorithm for (Interactive) solving for valid statistical models

[emjun]

Similar to "sign posting" programming method

Start modeling --> returns intermediate (file, assertions collected so far)

• collect all assertions from variables, effect set

Finish modeling --> takes start modeling output as input and incrementally calls solver; if no error, return final stdout/call return StatisticalModels

• query and collect assertions that need to know in order to pick valid statistical model