added DefineBuiltinProperties abstract operation