Remove Periodic constraints and replace Given with an Always periodicity