sml: add tests for operation