Ported the quantifier puller to the modular func system and tried it
with the Java instantiation.