Zaslat SMS: Tractability beyond β-acyclicity for conjunctive queries with negation