Supported linear propagator using a record in FD.oz