non det sm init generates how it should be