paip-prologc cleared all test cases