Towards General Axiomatizations for Bisimilarity and Trace Semantics