A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity