Include debug/1 statement in synopsis

This is necessary for displaying the results of quickchecks.