An automated white-box algorithm testing language which compiles down to JSON AST.