add t/20-smt-basic.dot missed from previous pushed commit [sigh]