A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting.