SMT 2017 (c) SmartRep (4)