SMT 2017 (c) SmartRep (3)