Derive diagnostic program from model needed for sequence program