On solving the equivalence problem for a sub-class of primitive recursive functions