updated definitions and testing files in prog-equiv