Text this: A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators