Learning and inspection tool for running the algebra of Variable Elimination