nialogic: removed redundant condition in unify