recoloring now uses node.formulation to check completeness rather than model_builder.completed_nodes list. Fixes persistant completed nodes bug.