Added extra recursion bound and preconditions to FixedpointVC.
Merge extra recuresion bound changes for FixedPointVC
Conjecture printing for duality and child user time tracking.
Merge duality changes