T-spline local refinement as a belief revision system: a rule-based implementation. Issue 5 (29th July 2017)