add term type: PredAsTerm
add a test case