consistent naming
add proper SMT-nice patch v3