basic test cases for SML