fixing assumptions bug in realizability generating for lustre