SytemJ GALS model generation works, need to add signals guards and channels/updates and then remove the terminate condition like in schnieder