At this level and their antifields are completely decoupled (they become conjugate momenta to pure spinors after restriction on a Lagrangian submanifold). To check we only need to check that:

Indeed (remember that ):