Consistency of Recursive Definitions via Shallow Confluence of Non-Orthogonal Non-Terminating Conditional Term Rewriting Systems with any kind of Extra Variables