more tests for tr 501 (std/syz for modules over qring with ring-coeff)