Lazy factored inference v1
Lazy factored inference attempt 2