push some pattern realisations