Do not merge a nonrecursive branch with a recursive branch. Make sure when a unary pred var is for an invariant; fixes detecting nonrecursive branches.