On compatible mappings satisfying an implicit relation in common fixed point consideration