added a unittest for Pyre