automatic coexecutability equivalence implementation