Parameterized verification of graph transformation systems withwhole neighbourhood operations