fixed some bugs in fixpoint ... impossible to test properly, without some support for generating non-deterministic values...
fixed some bugs in fixpoint ... impossible to test properly,
without some support for generating non-deterministic values...

ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve-bak