Add SM test, re-enable first assertion