Inferencing yields a UnifyError on failure
Clean up unification call