Add tests for sympy conversion and `set()` method