public SingletonDefinition(LexicalScope/*!*/ definedScope, Expression/*!*/ singleton, Body/*!*/ body, SourceSpan location) : base(definedScope, body, location) { ContractUtils.RequiresNotNull(singleton, "singleton"); _singleton = singleton; }