test_schrijver takes S arg
Hilbert{Atom,Space}.decorate function
fix in noncomm_graph