testless

Reduce test boilerplate by inferring test cases from code structure and intent contracts.