stupid bsc bug which changes guard semantics when a synthesis boundary is introduced