hoistedPredicates.py
T.g
input
output
