TODO
Extract Lib.TimeInstances
Do record inputs from unspecified outputs.