(Class.Decl) Refactored Program.Method.Instrset.