First stage of smt.ml. Need to add sorts.
Merge branch 'alt-abd' of github.com:seplogic/corestar into alt-abd