Major improvements in mem2reg and added "init" sync rules