[Consistency Predicates] Revert: Removed the .md file with documentation about the consistency predicates, this documentation should be placed in the fenix-framework github page instead