Handling overshift behaviour in MetaSMTBuilder
Merge pull request #183 from hpalikareva/fix-overshift-metasmt

Handling overshift behaviour in MetaSMTBuilder