Tests correctness of code generated by InspectorBackend.