* Simplify regression test

* Add asserts for Some/None

* Add assertions for expected ptr

* Introduce second regression test

* Introduce second regression test

* Fix syntax