HPFtester-1

Simple test segment:
- Each program verifies targeted language features
- Fifty small programs (1,000 LOCs)
Comprehensive test segment:
- Exhaustive first-order syntax tests
- Every grammar rule and associated right-hand options
- Nine programs (3,000 LOCs)