Handling overshift behaviour in MetaSMTBuilder