Issue 54 in fuxi: FuXi cannot handle existentials in the head

[fu...@googlecode.com]

Status: Started
Owner: chime...@gmail.com
Labels: Type-Defect Priority-High

New issue 54 by chime...@gmail.com: FuXi cannot handle existentials in the
head
http://code.google.com/p/fuxi/issues/detail?id=54

FuXi cannot handle existential in the head despite the fact that there are
several approaches for handling such situations. This issue can be
reproduced via this test case:
http://code.google.com/p/fuxi/source/browse/test/testExistentialInHead.py