Changed church code to use time. Changing parameters to try to help inference succeed. Made it continually ask for more paths after infer(1000).