Title On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$