[This is preliminary documentation and is subject to change.]
public IEnumerable<Instruction> Instructions { get; }