Test for Lizard-Spock extension