Assertivas dos parametros da check_User e concept_Functions