nominal unification misses after-the-fact fd constraints

Description

Related to http://dev.clojure.org/jira/browse/LOGIC-92, these two snippets both return (nom/tie 'a_0 1) instead of three results for 1, 2, 3.

Environment

None

Status

Assignee

David Nolen

Reporter

Nada Amin

Labels

None

Approval

None

Patch

None

Priority

Major
Configure