Precision SMT Assembly

This is about "Precision SMT Assembly"