Experimenting BDD with GSpec