A functional language to write test cases · HackerTrans