A general procedure to test containment of conjunctive queries