use sm cloog