{Maintaining Formal Models of Living Guidelines Efficiently}