Implement simple tests in phpspec