used prophecy testcase for phpunit