More tests based on examples