Translate fby into -> pre again, because the current implementation of fby is buggy if the fby is initialised with an input