Describir: Software testing for conventional and logic programming /